All the games, together, are 2.8 MB, I just checked. They'll zip to about 1.8 MB.
Being as the newest of these is 15 years old, there should be no copyright issues with putting them up. I've got to go to a movie in a few minutes, but I think I'll zip these guys, and put them on a web account later tonight.
Paul M. Victorey
I am not responsible for any problems that may arise as a result of following my advice. This includes, but is not limited to, computer failure, loss of data, nuclear war, famine, boils, no clean laundry, your daughter running off with a biker gang, or armageddon. Take my advice at your own risk.