You will have to give him the exact height , it's one item he has no use for a part # but he does have a good assortment of sizes.
I did a temporary hack with some hot melt glue but I know it won't last, was for the index contacts on the score motor
I should have purchased a variety of sizes to have on hand