Too many links to post at one time makes a reply disappear –
You can repair your coil using this coil-
https://www.ebay.com/itm/232218550107
using this procedure-
Video – 1 https://www.youtube.com/watch?v=e2vxDqF_OEU
Video – 2 https://youtu.be/xwbTlC1xIlA?si=LH2evmyYCLhJG24K
Your coil tube is smaller but I think this coil will fit.
Tubs.
A "Boathouse Repair" is one thats done without having tools or the skills to do it properly.