Quoted from bub2010:
After four months I would guess they are. Also, consider calling Jim on the number he posts . . . while those two may be gone he is a pretty big trader and may be able to source one for you. Since these games are not likely to be made again and now there has been a general price hike anyway I doubt the price is still 5k . . . well worth it though; great game.
Great to see you're enjoying Pinside! Did you know Pinside is able to run thanks to donations from our visitors? Please donate to Pinside, support the site and get anext to your username to show for it! Donate to Pinside