He bought around 10,000 btc before Microstrategy started buying it. He said a while ago that he personally owns about 18,000 btc.