He's made more than he would've gotten. Insiders sold way ahead of the game, though not all their shares.