The Meticulous Z-Axis

The 9" belt is if you go with the bigger pulley on the stepper motor? Or 1" to 1: