Will SpaceX's public ticker be $SPAX? (3% odds) | Kelvon