Alright, so I've finally done something I've wanted to do since I was a child and that is own a pinball machine, I purchased it yesterday and all was well.
I was in the middle of a game today when suddenly the top right flipper stopped working, all the other flippers work except this one.
My guess is that the coil needs to be replaced but I'm not familiar at all with the insides of a pinball machine and even less familiar with the wiring/electronics.
I did receive a spare playfield with it and there are a few spare coils on there.
From the info I've managed to find online it doesn't seem to be a mechanical issue with the flipper is there anything other than the coil that could cause the flipper to just stop working?