Actually, I think I know what the problem is:

I am doing the testing remotely and the workstation I am at cannot find the server that I am mapping to. Does that make sense? Although that did not occur the last time the server had a BSoD and users were loggin on.