Knurled Nut for Bosch Table Saw

The nut that holds the stock pusher stick and wrenches for my Bosch table saw crumbled to dust. The Bosch part #2 610 015 021 does not seem to be available, so I made this replacement. Print big end down to avoid supports - there is a thin layer inside that will need to pushed/cut through. Slide in an M8-1.25 nut.