Pinball Resource in the US has NOS plastics sets for $60.
I have been trying to find one of these the last few weeks, seems there are 3-4 'known' games in the US, a friend is trying to be a go between and get me one, but I'm not holding my breath.
I can be patient :)
