I think I might have the wrong part number there
It’s this micro switch in the trigger handle but can’t see it on pinball mania or pinball heaven ? View attachment 94661
I think you’re looking at the wrong broken pArt. See the two screws at the top. There should be a leaf spring there that crosses the void to the switch.