Installing this printer on Debian Wheezy was breezy. I went to Settings > Printing and the printer was discovered: all I had to do was choose the connection.
given the printer a static IP address, I didn't use the DNS setting.
This is in contrast to the installation in Debian Squeeze, where I had to install HP Linux Imaging and Printing (HPLIP) from the HP website.
Credit to HP for making support available for new printers in Linux, but it is nice to find that the latest version of Debian comes with that support built in.