Repair work to be carried out at historic Rock Pool