Moved to the Technical Support forum.

What does your client have set up for default spec printers in the File/Options section? This information gets saved to the Windows Registry in a client/server environment, so however Terminal Services deals with the 'Windows Registry' could be important. If a 'Specific' printer is used instead of the Windows Default, then the specific printer name is saved for that user - and that printer name can't ever change for that user.

I don't know why seemingly random print locations are being used.