Does anyone know the diameter of a lead main going into the kitchen 15mm copper pipe ? I need to replace the stopcock and wondered what the lead side fitting size is.