Thanks for the reply!
I am using a standard TCP/IP port, 9100, for the network printer. I do know the IP address for the printer. I have tried removing the printer and installing it using the HP drivers, and the printer is always recognized but I can't print to it.
Before my system recovery, Windows 7 did successfully install the network printer without a hitch - I was so pleasantly surprised at how easy it was!