Well considering all the HP printers I gave away sans one were working perfectly, and it worked with
any OS I ever used, I'll pay the difference in terms of reliability and experience.
The first one was given away because I got a Canon bubblejet for free, and that was really unreliable and expensive.
I got my second HP with my money, and gave it away for a HP scanner/printer combo which again I got free with a laptop purchase.
The one I broke was this combo, which was worn away in a decade. I probably used it beyond its designated life, and it was a bottom of the barrel machine.
Then, I got the 4515 I'm using now, with my own money, again.
I'd have said the same thing for Samsung lasers, but they have stopped making them. I'm hoarding some spares for mine. These things are also built like tanks. They were jointly built with Xerox, so they were something.
I'm not a person who replaces all IT equipment every year, and I'll accept a higher TCO if I can keep the machine for a longer time, and can buy its spares for a considerable amount of time. Also, as a person who mingled with inks and printers for a long time, I'd not buy off-brand ink for my devices. It just doesn't worth it.
P.S.: I don't like color lasers for printing out documents I plan to work on, because the triple-baking process makes the paper shiny, and the paper becomes less than ideal to take notes or markup. A B&W laser is perfect for papers and other stuff, and inkjet is perfect for color documents which I want to read and work-on. Plus it's a decent quality photo printer, too. I take photos and printing them and gifting them is great. People love it.