I've just released Professor Pinball's Castle, a pinball game for Windows and Linux. 

https://dbisdorf.itch.io/professor-pinballs-castle

The game has several challenge events, end-of-ball bonus scores, and a dot-matrix display. It's also open-source, and if you want to build it yourself or use the code for your own Godot-based pinball game, you can find the source here: https://github.com/dbisdorf/professor-pinball.