...
- After selecting "Add Printer" use "connect to local printer attached to this computer" (this is unintuitive, unfortunately)
- In the next window select "Add Port" and select the "Create a new port" with type "Standard TCP/IP port"
- Put in the Use hostname suncat-hp4025.slac.stanford.edu or suncat-hp3015.slac.stanford.edu
...