Just noticed that 200k were bought at market @ 14:18:32 ,this leaves 22.6 @10 then onto 10.5,remarkably on a day when the board is nearly all red.