Still, for just before bed at 2am, a sluggish-speed play is just the ticket.

A nice find but there are plenty other pinball titles available which don't involve 'tasks' as part of the game.
Have a try: http://www.dosgamesarchive.com/download/epic-pinball/
__________________________________
NEXT DAY EDIT: Games running unhindered now, though it does still play a little slow. (Mind, the soundcard option's still crap unless you choose the PC speaker.) Don't know why it wasn't behaving before but if you like a game flowing at a relaxed pace then play this pinball.
__________________________________
Though has it really been that long since even games this slick were made? How time flies. 20 years ago I was already in secondary (high) school, never mind primary (elementary). Time's soon coming when I can look back 20 years and still not be a kid. I'll feel old to look back 20 short years and still be of working age.
Though the killer will be to look back 20 years, the standard span for commercial retrospectives, and still find I'm harking back to a time after retirement. (That is if I get that old.) But the games will probably be better by then.