Agree, totally depends on condition. I've been looking for one for about a month or so, and have seen prices vary widely. I had a deal to reimport one that was complete but needed a lot of work due to cosmetics (worn playfield, decals, broken ramps, etc) for $4600 which included shipping. Deal didn't happen due to my inability to find a local place able to transfer funds in USD instead of euros. Based on other communications I've had, average ones can go from high 4k to $5500-ish, but again all depends on condition. Spoke to a couple dealers who were asking on the higher end, $5500+. One person I spoke to told me they had just sold theirs for $7K, but they were in California and I believe it was in great shape with nothing else needed. That's been my experience so far.