Yes I could see them being at or under 300 million os very easily.. in fact they could be without costing them a dime but that's another story...
they still have a bunch of shares to go in the repurchase program and also RME shares need to be bought back as well (which are the majority of the shares)