Maybe this was it? He said about 9.5 million yesterday, and that's the volume right now. None of us sold, some of us bought, maybe he's out? Anyone else besides me bought?