HP Laserjet 4000
The HP Laserjet 4000 was the old model of the printers in the residence halls. In the summer of 2006, they were replaced with the HP Laserjet 4250, and then again in 2008 with the HP Laserjet 4350, and then again in 2012 with the HP Laserjet M602dn.
Configuring your computer
To print on both sides of paper you must enable duplexing by following the instructions here.