What is going to happen with all of Mr. Coco's historic notes? From what he has done over the years it sounds like they should be in some archive.
Greg Biggs