Does anyone know the diameter of the HW 100 air cylinder .thanks Steve