New to pinball cab's looking for some help. My new to me galaxy pinball shut off during game play, upon opening the coin door I was greeted with the magic smoke smell. The solenoid for the right flipper was extremely hot(saw nothing else through the coin door that looked bad.), I found one fuse blown. The solenoid looks like it is fairly new. What all should I look at? I have a new solenoid ordered.

Thanks