My point was that the movie was sped up by 4%, the same rate that a film's speed has to be increased to get a pulldown-free PAL transfer. (PAL transfers ran the film through the telecine at 25fps and picked it up at 50i, with a straight two fields per film frame, while NTSC transfers ran the film through the telecine at 24fps and applied 3:2 pulldown to get it to 29.97i.)

For this, they either converted a PAL transfer to NTSC, or just applied the same rate of 4% time compression to a native NTSC transfer. (Ironically enough, I think the actual original PAL transfers were different - I believe the original PAL video transfers kept the Orion logo, and didn't have the fake stereo.)