Plenty of ideas to mull over, thank you.
I did a sanity check by downloading the STEP file to CraftCloud again; result was £55 for one off plus shipping.
Frank: Thank you for the generous offer, PM sent.
The shank as printed is a shade under 1.5mm, which is not a standard metric size although taps and dies are available at a price.
The force from the tension spring is at right angles to the shank so, in theory, a thread is not needed. I am going to experiment with Loctiting the shank in place, or just hammering over the end of the shank into a small chamfer. As designed the shank is a little longer than needed specifically so that was available as an option.
Julie