They were dumping it at 50% market price for ETH a few days ago. Don't know if they dumped it all or still sitting on a bit for when the market recovers.