I think total market indexes are outside the scope of concern. They are buying SpaceX regardless of IPO rules.