Worth noting that F8/Player Controls dialogue doesn't work, and neither does disabling the music.
Apparently these are used regardless of keyboard layout.
It seems this game appears to be using the text string to decode the key, so I can press shift+7 (the same key I press to get a "/" character) to trigger the right flipper. You can press whatever key-combination you use to get a "/" character and it will likely work as well.
That is lucky (many things use the code which can be hit-or-miss) in that we can trigger the right flipper, but, at least for me it is a very awkward gesture.
I think it would be nice to be able to change the player controls. I seem to recall the original game permitted this, but the menu option in this version doesn't seem to do anything except pause the game.
The trick is that people like us can reach it by pressing Shift+7. Which of course is rarely recognized by games (or IDEs for that matter - many shortcuts simply don't work).