I was so sad to find out that Samsung pulled out of the printer business a few years back. I've had a Samsung color laser (it's actually LED, but it looks like any other laser printer) for over 10 years and it has been nearly flawless all this time. I don't print a ton and on an ink jet printer, then cartridges would have dried out between the few times I would actually need to print something. Then you'd waste like 1/2 the ink just to unclog it and realign everything. But this Samsung just doesn't skip a beat if I let it sit for 3 months - it fires right up if I need something. And unlike HP's offerings, the drivers for this printer aren't like 2 GBs in size with a ton of bloatware.
Brother is still a good contender here for laser printing - I've had a new color laser from Brother for a year or so and I've had zero problems with getting it to work on Linux, the toner is cheap, and the print quality is great.
Won't give HP and Canon another dime so long as Brother is quality.
I hope to never have to replace this Samsung, but Brother is one of the few brands I would consider. I remember back in the day Epson made the best print-quality ink jets. No idea if they make laser printers these days, but I might consider them as well.