Printers Fixed?

The repairman was here, the Patron Kyocera isn't running great, but it's running. The Staff Printer is gahhbage--don't use it. Does anyone know if the printer in the Clerk's Office was looked at? I tried it out and it seems to be running, so I'm operating on the assumption that it was fixed. Please let me know if that's not the case.