I would go for Jrok, remember its no emulation so it rins exactly the same as the Original, but with more reliability and option to play some other Williams games as well ..
I'll try to call Andre, but i heard he was pretty busy with the maching band.
Anyway, soon i will see him in person soon and ask him then.