How many options does Elon have to exercise? Of the 10 tranches he gets noted in the 6/30/2012 10-Q, each is only .5% of the total shares and the market cap isn't high enough to trigger any of them yet. Elon has lots of money, but unless he's completely cashing out of Solar City or some such, I thought it's mostly tied up in his companies.