Simple remix of https://www.thingiverse.com/thing:3442863 for smaller (1mm or 0.8mm, idk which one I have) push rods. Also added a shorter version.
Reason posting it here: thingiverse is super slow and unreliable nowadays.