Generally speaking with flipper coils - they do get warm under certain conditions. The main condition is heat caused buy the EOS not being gapped or the EOS wire falling off the switch or coil.

Sometimes, the coil can develop internal shorts after overheating. The fuse should blow.

If the coil measures correctly in both windings - you can assume the coil is still good - even if the coil sleeve was damaged from heat. If the NEW coil sleeve cannot be inserted - then the coil can be discarded or rewound.

Check the diodes on the coils as well - they are a cheap part.