I just want to send a huge THANK YOU to all of you who shared this solution.
The patch solved my problem and I can now print from W7 64-bit on my still working HP DeskJet 710 C.
The printer is my second since the first one gave up after a few years. It's good enough for years to come.
/Hi8