Yes. I don't know where the name origionally started, but the support
magazine Tandy put out was called Hot CoCo.
~ Mike
IIRC, there was some debate in the _really_ early rainbow magazines.
(Or maybe it was in the 80 Micros. I have those, I'll have to check
later.) They were trying to decide a nickname for the Colour
Computer. I don't remember off hand what some of the other candidates
were, but there were some people who thought CoCo was too 'cute' or
non-business like or some such.
ttfn
srw