> it doesn't really matter because the float will be tiny due to the 6 month lockup.

Not really: https://www.reuters.com/legal/government/spacex-allow-early-...