He sold enough to cover the cost of executing the options. He...

He sold enough to cover the cost of executing the options. He still holds 10 mil, which is likely a larger loss than most people here (yes, this is as much of a loss as you or me, as that's effectively his money after those options were executed). Again if he was going to do the trade out of self interest alone and off his internal knowledge he'd have dumped the lot.