Should provide some downward pressure on this stock. They own a fairly big chunk and if sold on market could depress the price quite strongly.