Right. I shouldn't have continued the implication, but in a generic sense their stake is still valued at $380 (with perhaps some recoverable if Elon Musk suddenly disappears and SpaceX creates the Blob or something). I guess I was distracted thinking about the upcoming IPO. Last I heard was 2013Q1.