...
Xerox Phaser 6500DN ($350-$400) Color double-sided laser printer. Not as heavy duty as the Phaser 4600. Not recommended for high volume demand printing.
Last checked on Amazon:
http://www.amazon.com/6500DN-Color-Laser-Printer-Ethernet/dp/B004MSN4A4/ref=sr_sp-atf_title_1_1?ie=UTF8&qid=1384441737&sr=8-1&keywords=xerox+phaser+6500+dn
...