There's currently 2 printers available.
#TODO:
Located in the Chaos space.
On Ubuntu, Fedora and Mac this should be enough to configure:
lpadmin -p HP-Color-LaserJet-Pro-MFP-M477-VPN -E -v ipp://172.20.5.3
You may just hook up directly as well.