Today the workman finally rolled up to remove the pipe that leaked in August... The leak was sorted back then, but the pipework-that-should-not-be-there was finally removed today. Hooray!
This entailed digging up the tarmac and underneath the block paving. All has now been restored. :)