Just dug through some old emails.... A few years back, I sprayed mine thoroughly and cycled it extensively, and got it to work just part of the time. Before I discovered what it was called or how to locate one from a vendor, I noticed "INDAK" stamped on the switch. Google helped me contact the manufacturer. I'm not sure if they normally sell to the public, but I spoke with a gentleman who took pity on me. He sold me a J634A switch at a reasonable price, and it's an exact match to OEM and it works perfectly. Here's a link:
https://www.indakswitches.com/push-b...tton-switches/