He got $500M from Blockstream . maybe more. But the BTC in the OG wallet is several billion.