Some stand-alone players can output PAL from an NTSC movie. Alternativly, you can convert it on your computer. I'm guessing that TMPGEnc could do it.