He did do the first version (pre-Miami).
IIRC his NTSC had exactly the same running time as the PAL original, which confuses me and suggests some sort of trickery with frame rate, but at least the resolution was downsized 576->480.
That's not the case here.
This Miami torrent appears to retain the PAL VOBs untouched (I can verify that later) so replacing the IFOs with the PAL ones should do the trick--as long as one can play PAL.