Yep JGD, lots of possibilities re the seller. I was actually surprised that we did not see a minor dump upon the announcement of AW's death. Many don't like uncertainty and the loss of a CEO makes them nervous.
Good chance for those with some cash to grab some 7s, still 3.6 million left.
This looks like around 100 million shares sold between 12:00 and 12:34, much of it in 5 million share blocks.