Hmm, wonder if that was the same one I tried to buy in 2012? I was down for a Broncos game and there was one of those listed for $900 on CL, the guy never got back to me, so I ended coming home with "The Games" pinball from a guy in Aurora, sounds like you got a great deal on it.
Coils rarely go bad. It's usually something in the mechanism, like a misaligned EOS switch, a damaged coil sleeve, etc. I would start looking around the flipper to see what you can see, make sure it's getting voltage, make sure there are not shorts, etc. Frankly, you should probably rebuild the flippers entirely. I bet it needs to be done.
There is tons of info online about pin repair.
Pins are so much more intuitive to fix than video games (unless it's a board problem or a phantom switch issue). 9 times out of 10 it's a mechanical issue or a connection issue. Even phantom switch issues are not that bad once you figure out how the switch matrix works.
Its working 100 percent! After following the guide that fcjim posted, I checked the voltage at the coil and it was indeed getting 43 volts. So then after figuring out what an end of stroke switch was.. I noticed that it was indeed out of whack. Did some adjustments with trial and error and eventually got it working every time.
With that said, I just played my first game on the machine!