How to use the color laser printer

The computer in the third floor office has a color laser printer attached to it.  You should be able to use AirPrint or Google Cloud Print to discover and print to it.