They can't sell them because they're is no market for these coins. Was there a breakdown of what coins and amounts they currently hold? If so, I missed it.