As of 24-Dec they still had 7.3m shares by my count.
So I wouldn't hold your breath waiting for them to run out.
Also interesting to note they did not sell any between 22-Nov and 22-Dec, a long period of drifting down for TIS. So their selling pressure can't have been the controlling influence.
