I registered coco25.com a few years ago for promoting the 25th anniversary of the CoCoFest. I am letting the domain expire now, in case anyone wants it for anything. It was also the home for the coco wiki before I registered cocopedia.com. Times are tough and money is tight, so dropping domains I don't need to keep. -- A