I mean I think they are currently a little under leveraged (something like 20%). They have a much healthier balance sheet than most public companies. Nearly a zero percent chance of selling BTC imo