Gotta love the commas in these “total addressable market” estimates from SpaceX’s S-1. Wouldn’t want to be inaccurate.