Yes, they took it down at the end. I think AlanC is correct that they were shorting some at the highs, then bought them back lower. Trading for pennies, but in big volume it adds up.

I am really really hoping they keep shorting and are caught utterly flat-footed whenever there is news.