Hey Folks, vinyl pool with a pinhole leak. Is there any difference between standard PVC cement used for plumbing and the 4oz adhesive tube that comes with vinyl repair kits? Got plenty of liner and didn't want to buy a patch kit unnecessarily. thx, SR