“SpaceX's external launch business generates approximately $4 billion in annual revenue.”