The article says his salary was $95,000. It sounds like he was a manager and not just an engineer, but if we peg his market rate at, say $140,000 (the market rate of a good senior developer in San Francisco), then he paid $180,000 for these options.