Not at all. I have printed to a 3800 from a Thinkpad laptop and an HP workstation, both Win 7 64 bit, with no problems at all. All I can suggest in your case is to download the driver again, checking that it is indeed the correct one, uninstall the old one and replace with the new one. Maybe a general google of the problem will throw some light on it, usually does for me.