I talked to dad today, and have just placed an order on a new printer. It's a Xerox Phaser 6120 from Xerox. No auto-duplexing built in, but I can do manual duplexing page-by-page when needed, and I can order the duplexer later on.
Everybody, get ready for a special 2nd run of 3am! In full glorious colour!
7 years ago