MIT IS&T web page for connecting to an Athena printer from a PC:
HP's driver download site:
Select the radio button "Download drivers and software (and firmware)", then enter the printer model you need a driver for, i.e. Laserjet 4300dtn or Color Laserjet 5500hdn (these are our printers in 31-261). On the next page, select your operating system and follow the instructions.
Everything you ever wanted to know about the GTL: