The solution to every printing problem according to the Helpdesk is to restart the print server on the print spooler. I don't pretend to know very much about print servers, but this seems to be a ...