Thanks for the idea, Nixgeek, I think you hit the problem on the head. While poking around on the HP site looking for options other than the very old (May 2002!) PPD "update" files that wouldn't install to my machine, I saw that this printer model has been discontinued even though it's less...