Will SpaceX's public ticker be $SEX?