9.5 Million? shares after market closed. Was that a big whale or a baby whale no matter what bet he left with less food in the belly?