Working with tech departments can be challenging. If you want to push a bit, I would probably explain it to my admin and see what type of progress they can make.
But, if not, you are entirely right - copying and pasting to a word doc and printing to PDF would work just fine! Just make sure students have the oval and rectangle over a portion of the code.
Sorry you're running into some resistance!