What about all the employees who had options at SPCX and are now > millionaires?