Bingo Pinball not resetting

After some discussion online with the experts on what my next steps should be, I plugged the United Brazil Bingo Pinball machine and and manually set it up a couple of games (by pushing on the lever).

When turned on, it is supposed to rest back to zero. I plugged it in and turned it on:

and it runs! but it never resets back to zero.


After digging around and looking at it, it looked like the solenoid that was pushing the reset level wasn't doing its job....seemed like a straightforward sticky solenoid plunger.


I pulled the unit out of the Bingo:

and pulled off the solenoid.


Surprise! it was in great shape, not mushroomed or sticky at all. In an effort to figure out what is going on, I managed to film myself working the unit manually:

Analyzing the movement, it looks like the little lever connected to the tiny spring is not moving the way it should around that shaft. I'm going to pull off the lever and clean the shaft.