OK - I'm a huge Doctor Who fan, both the pinball and the show (since 1979). When did it become a $4000.00+ game? I bought mine in 1997 for $400. I just don't get it. Good luck on buying one, but I think those prices are over-inflated. Just my opinion.