Does anyone know the diameter? I bought my L4200 used and it has a 1/2" that looks pretty worn and the lever has all sorts of slop. It doesn't go into float so i figure the pin needs replacing. The valves seem very tight. 9/16" is just a tad too thick so I bought a new 1/2" with the hope at the old one is just too worn. I'll have to check it tomorrow afternoon but I figured I'd ask here figuring someone might know for sure.