I have been assured by members of the HPLIP mailing list and the Debian Printing mailing list that my printer is supported by HPLIP and should run under Debian.
http://localhost:631 give my the printer configuration page. The options displayed are Do Administration Tasks, Manage Printer Classes, On-Line Help, Manage Jobs, manage Printers and Download The Current CUPS Software.