Coil might still be good - try to remove the sleeve. If you can install a new coil sleeve - the coil might be ok.. If you cannot move the coil sleeve, then discard the coil. Might be worth checking the coil with a multimeter - a diode is cheaper !

OK, didn't know these things had sleeves - the coil itself is almost for sure still fine as until I checked how hot it was and decided to turn off the pin for a while it was still firing at full power.

I will grab a new sleeve from somewhere (depends where I go on the lunch break) and make sure EOS is working as it should - I reckon this got knocked out of alignment in the move. And I will monitor coil heat to make sure there are no other issues.