...
Xerox Phaser 7100DN ($1600-$2000) Color double-sided laser printer. (Tabloid 11X17) This printer has a considerably lower duty cycle than the 7500DN and the cartridges for this printer are small and expensive, so this printer is really only recommended for individual low volume print environments.
Last checked on Amazon:
http://www.amazon.com/Phaser-7100DN-1200dpi-Network-Printer/dp/B009EOFU9E/ref=sr_1_1?ie=UTF8&qid=1394473030&sr=8-1&keywords=phaser+7100dn
...