I know in the past though that, at a minimum, the amount of money was different. I'd say it's still safe to assume they own 7% though - so more than a billion USD on paper, not bad.
Reply on news.ycombinator.com