Help me pick a new office printer.

[Teenyman45]

For about the last two-years or so, I've had a Samsung M3870FW printer in my office as my personal printer and as the backup office scanner, but I've been thinking about replacing it for a while now because I've never really liked its quirks.

Since the office doesn't have a color printer I was thinking of getting a color laser All-in-one.

Here are my current top three: 1) Cannon MF733Cdw;
2) an HP MFP m477fdn;
or 3) a Brother MFC L8900cdw.

My personal print use on the soon to be replaced printer is about 500-2,000 pages depending on the month. Larger jobs are done on the office's main free standing printer.

Other thoughts for a decently fast printer?