I don’t believe Musk only holds 0.25BTC, there’s no way he has that small a stash. If he still has any then it will be a lot more than that, he’s a very clever guy, he knew what he was doing tweeting about bitcoin