They had about 9 mil more before the 500 A/S was maxed out. Im guessing they have maxed it out as of today since volume is lower than previous days. Yes, I think folks rode the extra shares down and shorted this down to where it is.