$13 billion since 2023 doesn't sound that bad imo, but maybe I'm naive? Starship isn't a cheap project.