EOS appears to be operating just fine - it is normally closed and definitely opens when the flipper is activated. No flipper drag; no sticky cabinet switch as far as I can tell.
I will check if I have a spare coil sleeve.
And I will need to find out what happens if EOS is mostly open in case it is not closing properly.
