Yes. Amount is actually irrelevant, since if they underprice it SpaceX loses launch revenue, and if they overprice it Starlink looks less profitable.

The more important takeaways are that SpaceX's near-monopoly launch business is profitable but not nearly as big as Starlink, and Starlink is a good business but not one to justify a trillion dollar valuation