Until I can find my old Infocom Masterpieces CD, which free-to-play IF should I use to introduce my 10-yr-old son to the genre?