In message , at 13:20:27 on Sat, 2 May
2020, Andy Burns remarked:
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).

Measuring once around the circumference gives me 75mm, so a diameter of
~23.8mm hence probably 0.918"
--
Roland Perry