The U.S. government has a pretty nice stake as well. I think more than 400,000 bitcoin. That's about $7.6 BILLION? They should sell. That's more than the annual budgets for 7 states.