If it was a bad coil, it would not have started.
If it was an open coil when hot, it would not have restarted immediately after shut down.
I had an external power (12v) apply to the coil and checked for continuity on contact terminals. And, they were good when I checked. This threw me off...