The included US digital 3p4 encoder fits a maximum .25 inch diameter shaft. However, we are not using the included kit-gearbox, and our shaft will be .5 inch diameter. Can anyone recommend encoders that can fit around a .5 inch shaft? Or, is down-stepping our shaft to .25 inches a good option?