Probably not, no. I'm not sure they cared in 1982 - mind you, there were even NTSC Laserdiscs of "Star Wars" that were sped-up because of disc constraints.
You could easily splice in a pitch-corrected PAL audio track, though, making it possible to do a nice preservation project using the 1982 release.