Robin wrote:

We don't know the size of the lead pipe

The lead-loc manufacturer recommends not measuring diameter, instead
measuring twice the circumference with a piece of cotton, the halving it
(presumably to reduce error).