I just installed the above named printer, and everything seems to work fine, except that I can't get it to go above 1200 dpi. The hplip driver is supposed to support interpolated resolution up to 1200 x 4800, but hp device manager shows only 1200 dpi.

How do I get it to print in a higher resolution?