sand or some other type of abrasive mat in water supply,
If it isn't a flexible type of pipe, make sure there is no pressure or liquid going to running through it. Put PVC primer around the area of the pinhole, let it dry for a minute, and then put a bunch of PVC glue over the pinhole. When it dries you should be good to go. This actually melds the pipe together. You could also get another piece of PVC that is a little bigger than the hole, and do the same thing. When the new piece is primered and glued and dried on the pinhole, you're in business.
Check out: www.innovativepipeliners.com
Detect the leak and replace that part of the pipe. It is usually better to replace the whole piece of pipe. By removing the junk plastic and replace it with quality piping such as copper DWV or NHCI
I was in the PVC pipe manufacturing business for over 30 years and have never heard of a "1K PVC" pipe. If "1K" means a 1,000 psi pipe, this does not exist as a commercial product. Sorry.
You can dig to the pipe, clean it and roughen it, then use purple primer and Weld On 711 to repair it. . I would wait 12 hours for this to cure then do another coat of 711. - I have done this on PVC pipe that was carrying mains water at 85 psi.
An instrument made of PVC pipe.
A pipe cutter is the best tool to cut PVC pipe.
Yes
An instrument made of PVC pipe.
With a PVC locator
If you are revering to PVC as in "PVC pipe" or "PVC clothing" then is stands for Polyvinyl Chloride.
Not plumbing pvc pipe, but pvc pipe made especially for wiring.