I just payed 3k for mine. It's in above average condition, full LEDs, no cracked plastics, new DMD and space shuttle mod. Thanks to Dutch Pinball I think the going rate for these are just going to go up. I'm also not seeing many pop up locally for sale.