It would not make sense to buy those coins at a 30% higher price and dump them at the normal price in the market. I am sure people who invest 13 million USD in the auction, and smart enough not to dump it right away
Unless they are rich/a company who is looking to cause problems to btc... That could cause some problems.
Even rich people ain't doing that .
Anyways am just talking here about the Hype that the news could cause , not actually the Dump.
am sure anyone who bought so many coins ain't dumping them all