Volume 76,417 at 1:40 eastern time. It seems that there are not trades for a long time, then boom, a relatively large trade. I'm posting these when I see one so that we can more easily keep track of when things change.