[NF] Printer brands

Hi all

I am having ongoing problems with my Lexmark X543 multifunction colour laser printer (with automatic duplex). It seems that it would be uneconomic to repair so I am looking for a replacement. So far I have shortlisted three models from three different manufacturers - HP, Brother and OKI. I am tempted by the OKI (MC562dnw) because it is shipped with 2K toners and has a free 3 year on-site warranty. Has anybody had experience (good or bad) with printers from this manufacturer?

I am not that keen on the HP (LaserJet Pro M281fdw) because it uses a composite CMY cartridge instead of separate C, M and Y cartridges.

Thanks

Paul Newton