Last time I checked, on iOS it didn’t have either.

Edit: just checked, the iOS version still doesn’t have downloads and does not support casting to Chromecast.

Support for downloading and Chromecast? Sign me up.

Three of four Pro Pinball games are available on GOG. They’re probably on the more realistic side of pinball games, effectively simulating a single table down to aspects like scratching, aging and blemishes. That’s all optional though, you can just install and play. I don’t know how well they’ve aged since it’s been a few years since I last touched one of them. But I’ve always found them fun, with great visuals and sound, even though I’m pretty inept at pinball in general.