I'm looking for information on any vintage Star Wars pinball machines. So far I've discovered the Data East model, the Sega Special Edition model and the Empire Strikes Back model that was released only in Australia.

Any information would be welcome as my neighbor claims to have found a "vintage" Star Wars pinball machine.