Fooling around with it some more, I found the printer defaulting to the cdj550 driver. When I changed it to the hpijs driver, duplex started working properly.
Fooling around with it some more, I found the printer defaulting to the cdj550 driver. When I changed it to the hpijs driver, duplex started working properly.