“If the over-allotment option is fully exercised, the total value of the SpaceX IPO deal would rise to $86 billion.”