The OD can also be 9mm and still work. We only need two of these for the lead screw drive pulley. shopping_bagAliExpress M5x8xThick, 0.2mm thick