Yeah, a microcontroller would be able to print a PDF given enough time. This should be instant. I’d contact IT and let them know. They might try out different drivers. Some drivers can really overblow the file size that’s actually sent to the printer, causing it to be slow to transfer over the network.