I would imagine that they have to. There are just too many shares to dump and by entities that are not speculating, they are intent on getting their money. A r/s would cut their workload and costs down significantly plus they can short it down to nil if they want.