The two printers on the fourth floor of Fuld use the shared queue: f4(simplex) or f4d(duplex). The print server sends jobs to the printer with the least load.
Sometimes you may want to print to a specific printer (e.g. manual feed).
The printer on the left is called f4l(simplex) and f4ld(duplex). The printer on the right is called f4r(simplex) and f4rd(duplex).
To use dvips to print to the manual feed tray, use the -m flag.
dvips -P<printer_name> -m <file_name>
where <printer_name> is either f4l or f4r and <file_name> is the name of the file you are trying to print.