Recently the bullpen printer (HP Color LaserJet 3500) has died and we opted to get a replacement - a Brother HL-4150CDN.
...
We hope this new printer will fulfill all your printing needs.
If you have any trouble following the above steps, please open a ticket athttp://support.crbs.ucsd.edu and we'll get on it right away.