About to list mine for 6800 and I expect to sell it near that price. Just because one sold at a crazy price does not set the market. It's a fun shooting fast game that's a little due for new code, shots and sound are fantastic.
Best of luck on your wait but sometimes you just need to bite the bullet and pay the price to get in the game