OK so i've had a little DIY mishap. I was cutting out a opening to surface mount a device on my wall. In hindsight, i should have checked for water pipes in the wall but I really didnt expect water pipes to be in there. So Behind the dry wall was a small piece of ply so i drilled small holes to break a section of the ply out. But when drilling i was careful to go gently and not go to far in just incase there were wires. So anyway after cutting out the ply. On the very far corner I just managed to catch hot and cold water pipes running to the WC. One of the pipes has a little bit of scoring from the drill touching it. At most the deepest score will probably be 2-3mm if that. I've attached a photo. It's the hot water one that has the most scoring. From what I understand these pipes are quiet thick. Is this something that will need to be fixed to prevent leak or should it be ok?
Photo below: it's the pipe on the far left that has the most scoring.
Photo below: it's the pipe on the far left that has the most scoring.