Hi - totally new here and really need some advice. I have a pin hole in a 10mm copper wall pipe that supplies a nearby radiator. The hole is about 4cm from the bottom of coving. I have looked at the repair patches but these are for 15mm pipe as are the other fixes available - cannot find it in...