That's in the IPO documents. Starlink had $11.4 billion in revenue and $4.4 billion in operating profit in 2025. Falcon9 had ~$4 billion in revenue, so they didn't cheat by subsidizing starlink with Falcon9.