Okay, that is interesting. I can imagine a college having some sort of loophole allowing copyrighted programs not officially released to be kept for educational use. My journalism teacher used episodes of WKRP in Cincinnati in some of his classes way back when.
What's the quality of this library HS copy?
The HS being on the video vending machine animation is probably an intentional joke. ;)