Proper name for Tandy Color Computer?

[Vintage Computer Festival]

What is the "proper" name for the Tandy Color Computer?  Is it that?  Or
is it "Tandy TRS-80 Color Computer"?  Or is it "Radio Shack TRS-80 Color
Computer"?

I guess it also depends on what model we are talking about, so let's say
the original and the CoCo2.  I know the CoCo3 was pretty much labeled
Tandy by then.

Thanks!

-- 

Sellam Ismail                                        Vintage Computer Festival
------------------------------------------------------------------------------
International Man of Intrigue and Danger                http://www.vintage.org

[ Old computing resources for business || Buy/Sell/Trade Vintage Computers   ]
[ and academia at www.VintageTech.com  || at http://marketplace.vintage.org  ]