This is making me more inclined to switch to a (non-HP) color laser printer, but I'm finding it challenging to find reputable information about total cost of ownership. Would love some suggestions!
Works from Windows, Mac, Linux, Airprint, iPad, iPhone, etc. No driver installs needed. I use it from the command line on Mac - I use groff - and it prints those PDF or PostScript files without issue, though oddly the duplexer works from the command line only if I use a generic PostScript driver.
I use only genuine HP supplies because I know of no other reputable supplies vendor, so I can't say whether non-HP supplies work.