I think they did. But since that time I think they have just replenished their dwindling positions with lower strike prices, as they expired.

Since the historic run though, I don't recall any managment selling.