If they did they personally lost quite a bit of money in the process. Just the initial sell resulted in a very large number of their coins selling for below the market average (because there's more exchanges than just Coinbase/GDAX). Those ten cent buys won't make up that difference.