Bought my first pinball 30 years ago (Bally Star Trek), then a Vector about 20 years ago, and the Flash Gordon just last year. The Flash Gordon needed so much work, I began documenting it on YouTube. Over the past month I've been installing a video player, based on a $15 Raspberry Pi circuit board. Got it working and it looks beautiful! Every step is fully documented; check it out at "Dave's Think Tank" on YouTube!
https://youtu.be/HL4eKUpZwSk?si=exmWO5xe6JBtqzft