3500 is the high end of the range. 3k is an average market price, but sale volume seems low right now because of supply flood.
Yeah, its not even close to 7k right now. I think jp is prettty close. You might be able to haggle one for 3k but you aren't likely going to pay more than 4. I have about two DCS of them right now. Invest while they are low lol. Never know how 1.9 will affect the market