Sure there is one on pinside for $7,475, but there is also one on there for $5,000 and pinside also says the average is $5,500. So... as a "rule" I don't think they fetch that much... but my comment was actually more directed towards the question of Data Easts fetching that much and for that I'm...