[rednum]

Perhaps he gambled on the options being worth more. I don't know about all the companies mentioned, but Sumo IPO'd last year.