I think they have 10B now. Imo, it's still much less than what the company is worth.