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.

  1. Make sure that you have the driver for the printer in question downloaded and unpacked in a place that’s accessible to you.
  2. On the Windows server machine, make sure your printer is shared and take note of the share name.
  3. On the Windows 7-x64 machine, go to the windows menu and choose “Devices and Printers.”
  4. Choose to add a printer.
  5. Choose local
  6. Choose to create a new port
  7. The port name is \\servername\sharename
  8. If your printer is not listed in the ensuing dialogue, click on “Have Disk.”
  9. Browse to the location of your printer drivers and the .INF file.
  10. Click on the .INF file.  Its typically named OEMSETUP.INF, but your mileage may vary.
  11. Click “OK”
  12. you can click on the “test print” button to test.
  13. Click finish.
  14. You’re done.

Sorry for the typos.