There's a nice one on ebay in Texas, which you've probably already seen. Looks like a retailer though. He's asking $1800 or best offer, which is probably a little high for Texas prices, more like a Northeast price! It's in awesome condition though.
That one is broken, bad shape and missing a flipper. oh i forgot to mention that it does not even boot up. just gi lights. yep, sounds like a working game to me but hey dont take my word for it. call him lol