For anyone who's interested, I've now got all 10 tunes in Noteworthy 2, Noteworthy 1.75 and ABC format - all except Buttered Peas, which for some reason refused to convert from 1.75 to ABC. When I've sorted that out I'll put the tunebook up somewhere ABC users can download it from. You'll get ten tunes in one 4 KB file.