HIC Prusa extruder tensioner

The OEM piece broke under normal stresses. I asked the Manufacturer for the stl file. They sent me the file the next day. I augmented the file so it would be stronger and easier to press. I also cut the spring a little shorter. in the picture is the original (above) and the augmented file (below).