Recommend a good secondhand colour laser printer

[bnmand]

I'm thinking about getting a second-hand Colour Laser Printer.

Currently, I have three B&W Laser's, a HP Laserjet 4100 and two Laserjet 4200s.

Any recommendations as to what would be a good, reliable colour laser to consider?