...
If a public computer is not showing a printer, reboot the machine.
If no public computers are able to print, reboot the Print Engine.
If PDFs are slow to print, make sure the default for reading PDFs is Adobe and not a browser.
Known issues with no current resolution:
Adobe prints in color despite OS printer settings being B & W
...