I am looking for the proper way to repair a hole in my sprinkler system piping. It is about the size of a pencil eraser and it goes through both sides. It is on a straight portion of the piping. I donât know the specifics of the piping but it is a softer plastic, meaning it has some give to it (it bends some) I am hoping I can get some help here or direction to a website that can help.