Hi - would really appreciate your advice. Is the repair to the pipe vent on my roof OK? The roofer said there was a rip in the rubber boot on the ridge side that was letting a small amount of water in. So he used a stretch of lead to form a collar and sealed it in place with silicone sealant...