Does anyone know the diameter of a standard pulley on a R53 ?