I think the SpaceX IPO is planned for about 5-10 years from now - that's not too long. The only indication we have is that MCT will be making regular trips to Mars before SpaceX IPOs, and they seem pretty set on that happening in the next decade.