Very happy with my Brother color duplex laser (well, really, LED beam)
printer. Works perfectly with cups ppd.
Places like 123inkjets.com have low-cost remanufactured or compatible
cartridges that work perfectly as well.
The only noticeable overall performance difference is that whereas HP
prints duplex pages faster (first-side-first-page,
second-side-second-page), the Brother only handles one sheet at a time.
The slower speed, in my experience, is not a problem because the Brother
mechanism is less likely to jam, and is far easier to clear should
anything go wrong.