https://pinside.com/pinball/forum/topic/what-finger-do-you-use-to-hit-the-flipper-buttons