I'm watching the long plays on a lot of these - they are really neat. I know he'll love a lot of them. Thanks for the help in figuring out which ones would work.
I emailed HOL to see if they can give me an export of educational games so I don't have to manually go through 0-Z. Unless someone knows another way to get the search output into a file.
Thanks for the help.
-Nyle