Xerox colour laser printer (C8000DT specifically)

I'm thinking about getting a new colour laser printer. I've always bought HP in the past, as their support has been so good, but after my experience with iffy hardware on my 476dn and the high cost of running HP printers, a supplier has suggested I look at Xerox's C8000DT. Although the Xerox website does specifically say they support Linux and there an X86 RPM package, I Was wondering whether anyone had experience with Xerox and especially that model to be able to comment on how well it plays with Mageia please? I can't see its drivers in our repositories.