Kiernan pointed me to vpforums.com which has software for
pinball emulation.
You have to register at their site and install a bunch of separate programs.
They could have made it easier. I still haven’t gotten Dr. Who pinball
working yet. Anyway, after you laboriously get the software
setup, you can build your own pinball tables.