I never had the VHS source for this (and I don't know where the VHS came from, or how many generations down the line it was). The guy who owned the tape was very generous to make a dub for me using a DVD recorder.
I received the raw recording on two discs, and the quality was awful. I ran the video through some pretty agressive AviSynth filtering - to restore the 24fps, filter out video noise and fix some of the chroma shift. Even after this, I didn't think there was much point in uploading a 4.38GB DVD when there was little or no quality benefit over a 1.4GB MPEG-4 file. (And most people can play MPEG-4 on their DVD players these days.)
One of these days I'll get around to uploading the raw source discs, should anyone else like to take a shot at cleaning it up and releasing their own version.