I have access to a HP Color Laserjet 8500 series printer, one of those that literally reminds one of "R2-D2" and HP Color Laserjet 4500 series printer at the office. The Xerox (formerly Tektronix, sp?) Phaser series was used by our presentation group, great print outs. Our company is primarily a HP shop for printers.
Getting back to the question, the HP LaserJet 2300n will run for $999 (manual duplex printing, network ready) and HP Laserjet 2300dn will run for $1099 (automatic duplex printing, network ready).