Correction about that AVI version of BLAKSVN's preservation of the extended cut of the first film: The missing 15 minutes (173 min. vs. 188 min.) is not because it's missing any scenes, nor was it due to some screwup in the conversion. I had forgotten that it was missing the end credits. If you take 188 minutes, subtract almost 8 minutes of credits, and then factor in the 4% PAL speedup, you get about 173 minutes.
Still, I'd love to see the full-sized DVD preservation rather than just an AVI conversion.