module RodExtender(diameter, height, thread_len=0, thread_diam=0, thread_pitch=0) // Produces a matching set of metric bolts, nuts, and washers. module MetricBoltSet(diameter, length, quantity=1) // ...

The bolt is an M42 size with a 40 mm pitch, with grooves cut in both directions to allow left-handed and right-handed nuts to be threaded. The large pitch means that instead of a single continuous ...