They just got 5 percent? How many have they been selling all along? You believe 21 million just popped up there? The huge spike and they cashed the rest of their chips in... I would wager their ownership is probably reduced in half or more.