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
For information on how to set up a printer see the adding a printer in windows article or the adding a printer in Mac OSX article.
Duplexing
To print on both sides of paper you must enable duplexing by following the instructions here.