I don’t know if this will help you out any because
I used an old coil I had laying around, not a green
one but I was able to get the coil farther back by
putting slots in the lamination’s for the wires.
(You Tube slide show below.)
You might want to check the wire insulation to
be sure it isn’t damaged.
While the holes aren’t slotted , if the screws are left
snug, adjustments can be made with a hammer to
get the best clearance before tightening.
I never tried to see if a spark would jump a 1/4 inch gap.
The motor started and ran OK.
Tubs.
https://youtu.be/tVvSB5QxMrw
A "Boathouse Repair" is one thats done without having tools or the skills to do it properly.