Note to self on how to set up printing at UCI ICS on a Linux. Official instructions here.
Get to Printing (under System -> Administration), Add Printer. Under Network Printer, select LPD/LPR Host or Printer (IPP did not work for me). Enter printserver.ics.uci.edu for host, and enter the printer for queue. Move forward and specify printer and driver manually.