Quoted from JethroP:Oh, I think you're right. Check with Steve at The Pinball Resource.
Not sure which part is mangled. You can buy individual leafs and rebuild your own switch. Not sure about the plastic tip. You might have to improvise that part.
I looked at mine, it's kinda wonky looking so maybe I replaced it years ago with a scrap switch that fit there with some trimming. But it's never caused me a whit of trouble.