When I was putting floorboards back the screwdriver accidentally hit the 22mm copper pipe feeding the upstairs radiators and cut a couple of small nicks in it. Nothing leaks and it all works but my question is whether I can just leave it or should I repair the pipe to avoid future leaks. I have...