Anyone in this thread know how much SpaceX investors got diluted when they bought xAI/GROK?