He definitely has more use for dollars than Bitcoin, so yes that could be the case. But still, with all the people in his circle, I would just be surprised if didn’t have is own stash some where.

Do we know how much Bitcoin was donated to him for running?