“The SpaceX IPO will allocate 5% of its shares to employees.”