Tungsten contacts need a metal file
Flipper button and flipper EOS switches have tungsten contacts, which a Flex-Stone cannot cut; use a small metal file or take the switch out. From the 1970s Williams and Bally also used tungsten on pop bumper and kicking rubber switches.
Systems
Related tips
Source: Repairing Electro-Mechanical (EM) Coin Operated Games to 1978, Part One, Clay Harrell (pinrepair.com)