Spaced Ranger said:
Did you re-check your sources or play the actual disc?
I checked the disc.
On the off chance there may have been a "quiet re-release" of corrections (it's happened before -- on the Star Warslaserdiscs, for example), here is this disc's movie-files listing from Windows Explorer:
The VOB files on my disc were created on 16th July 1998. So now I suppose that, as you said, there has been a quiet re-release. My disc is contained in a Warner case, inside the 1999 Warner boxset of Kubrick films, but it seems that the disc itself is identical to the 1998 MGM release. Since your disc is different, Warner must have produced a new disc. Or, now that I'm thinking of it, since the box was used when I bought it, it could be that the previous owners switched the discs.