You can convert the PAl to NTSC version (at least in terms of framerate and audio) pretty easily using virtualdubmod.
I have success with that for Alien in the end. So I was just planning to do that again. Or else go the otherway and rework the audio to have the PAL timing instead. Both are pretty straightforward once you have done them once.
Jason