Add the 64 bit driver to the print server as an alternate driver. I've had no issues at all mixing 32 bit servers with 64 bit clients. What's the exact problem you're dealing with? But then again, I ...