It turns out that the problem was that the Window 7 machine was Windows 7 x64. While not necessarily a problem, it was problem connecting the printer driver in the usual way. After a Google search I found that you should do the following.
- Make sure that you have the driver for the printer in question downloaded and unpacked in a place that’s accessible to you.
- On the Windows server machine, make sure your printer is shared and take note of the share name.
- On the Windows 7-x64 machine, go to the windows menu and choose “Devices and Printers.”
- Choose to add a printer.
- Choose local
- Choose to create a new port
- The port name is \\servername\sharename
- If your printer is not listed in the ensuing dialogue, click on “Have Disk.”
- Browse to the location of your printer drivers and the .INF file.
- Click on the .INF file. Its typically named OEMSETUP.INF, but your mileage may vary.
- Click “OK”
- you can click on the “test print” button to test.
- Click finish.
- You’re done.
Sorry for the typos.