Timeshock was also available for DOS, I think the third game was not available for DOS.
Played a ton of timeshock back in the day. These were realistic pinball sims, as opposed to the more ‘fun’ ones, like psycho pinball, pinball dreams/fantasies/etc. and epic pinball (to name a few).