What’s the diameter of the sprockets in this kit: VEX IQ Chain and Sprocket Add-On Kit
You can find the CAD file here: Gears, Turntables, Sprockets, Pulleys
