Ok, went back to client to take a look at the problem I described above and voila! it was gone. When I asked the resident technicians if they changed anything, the only thing they could think of was that the server had been restarted. This seemed to fix 2 out of 3 machines. Then later, I had...