virtual pinball revisited

[@jeffpeterson9836]

How and where do you get all that?

[@retrogamingrewind1980]

@jeffpeterson9836 I purchased a mini pc, downloaded es-de (emulationstation desktop edition), and then used mame emulator or other emulators to run the games.