Is this the same as what JJP uses?
https://www.pinballlife.com/stern-4-button-service-assembly-with-decal.html
Or do they have a special connector?
One of my POTC buttons is out, I'm going to look and see if maybe a solder joint is broken but tried to find replacement option.