Try switching which fingers you use when playing pinball. It's not hard to get used to using your middle fingers versus your index fingers, and you can switch back and forth depending on how you feel.
New! Dark mode!
Browsing Pinside at night? Getting tired of all the white? Switch to dark mode using the button in the top right (or CTRL-B)!