Terminal Services troubleshooting

We had some problems at our office with Terminal Services (the server produced BSOD from time to time, when a specific user logged off from his session) and I found the following page during my googling: TS + Citrix Troubleshooting. It contains a number of useful tips and a lot of Windows bugs + hotfixes that might help you solve the problem.