You can easily have any size and dot pitch you want and connect it to your pinball with these controllers
https://pinside.com/pinball/forum/topic/rgb-led-panels-for-dmd-replacement
The displays simply need a HUB75 or HUB08 connector which covers most of the displays in Aliexpress.