Quoted from JPKnapp:
This is probably it. I do tend to hold the flipper up a lot. So the flipper would have worked, but just got burnt out because the coil kept going trying to "open" the flipper? And the remedy is a new coil and getting those EOS wires connected to the right spot?
Could be the fix. The next question then becomes, why were the wires cut off of the Eos switch by someone previously?? Ahhhh the joys of buying a used pinball