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