Just SpaceXAI alone is currently doing ~$10B annualized AI revenue numbers (based on last Q results). So that seems reasonable.