All 80k are gone. The market has already absorbed it. Very bullish.
Bet he he is moving some of that to Strategy’s preferreds and BTCTC’s