Leak repair at Highwayman Pub