The Sinclair was marketed in the US by Timex (last one on the list). I only ever recall seeing a Timex-branded Sinclair 1000, but if Sinclair did market in the US, I _think_ it was later on in the PC wars and I had other things to drool over (Amiga & Atari ST). I could be wrong, though. I did have one later in life, but then gave it to a fellow ham for nostalgia's sake. (My call is AB8KK, by the way...)
The _only_ reason I don't have my original CoCo2 (mine had 16K, soldered in the 64K upgrade myself) is because I had to sell it to get enough money to be able to afford my CoCo3 -- which I still have. I still play on it (my all time favorite game is Rogue - most PC / Linux versions of the game you could not throw potions, but you could on the CoCo version from Epyx). Dual floppy (360K 5.25 inch and 720K 3.5 inch). I used to read the OS-9 Level 2 manual just for fun. Learned it well enough to write a (not very big) assembly-language extension to Basic09.
You can still get upgrades for CoCo's - head on over to http://www.cloud9tech.com/  - you can get IDE/CF interfaces which work as both virtual floppies for RSDOS and as a hard drive for OS-9, a product called 'drivewire' that runs the bit-banger serial port at 115200 and emulate a floppy drive on a PC server, they have even developed a 68B09 board so you can run OS-9 on an Atari 800XL/1200XL/130XE!
 No affiliation with the website other than being a happy customer.
... And they're still holding the annual ' "Last" Chicago CoCoFest ' - 22 years running now, April 22 & 23, 2013 is the next one. Head on over to http://www.glensideccc.com/ if you want more info.
If it wasn't for the wife, my CoCo would still be my "one true love..." (Just kidding, of course.)
The other classic machine I still use a few times a month (if not more, at times) - My Tandy 200 laptop. I use it for note taking and in the kitchen for recipes & whatnot. Built in Feb. '85, still going strong.
Keep Up with TechRepublic