@dominicstpierre I was thinking of stuff like Epic Pinball which took FOREVER to download, and was "OK:"

https://en.wikipedia.org/wiki/Epic_Pinball