HP 2035, HP 1020, Windows 7 64-bit, printing problem

For future reference, this is how I got a balky HP 2035 to (finally) print from Windows 64-bit, both by USB connection on a local machine and through a network connection. Frankly, it shouldn't be so hard.

1. Spend a lot of time researching. Find a lot of people saying things like "C'mon, Microsoft or HP or Adobe, fix this problem." (One common problem has to do with printing a particular sort of Adobe file on an HP 1020 in Windows 7 64-bit. That was not precisely the problem I was having.)
2. Delete every HP printer from the system.
3. Restart the print spooler.
4. Go into the Print Server properties and delete every HP driver in its entirety.
5. In the registry, go to HKLM/Software/Microsoft/Windows NT/CurrentVersion/Print/Printers. Delete every HP entry you can find.
6. Go to C:\Windows\System32\DriverStore\FileRepository.
7. Take ownership of the suspected troubling HP folders (in the case of the 1020 and the 2035 these were obvious). Give yourself full permissions, apply those to child objects, and don't allow inheritance.
8. Delete those folders.
9. Disconnect the printer and use the HP driver. I had to use the one on the CD; the latest download failed utterly. Follow the instructions in the driver install (this seems to matter).
10. Install the other printers.

Repeat this on any other computer with which you want to use that printer over the network.

To be clear, this is what I did specifically for an HP 2035, in part because I got the 2035 hoping it would work more easily with Windows 7 64-bit than did the gob of HP 1020s we have where I work. I was greatly dismayed when I had exactly the same problem. I now suspect that had I gone through these steps for the 1020 it would also have worked.