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.