This has been on Craigslist for 2 months now with the seller knocking off $50 every few weeks and it's now down to $550 in D.C.
I have no room for this but $550 for a 90's pin seems like a decent deal.
Anyone actually play one of these? There are more pictures on the craigslist ad than pinside has in it's database. I get the idea that it would be a lot of fun... for about 20 minutes.