Your information on the origin of the files matches pretty well with what I remember. I also have it stuck in my memory that Larry was the instructor of the class that made the files. But since I don't remember for sure I didn't want to add any confusion.
I'd have Zipped the files but I don't have any Zip software on this computer. It does do a good job on CAD files!