Reply to post:

I have a feeling it was branded as a "Timex" for the North American market. I know the ZX81 was and I have a vague recollection the Spectrum was as well, but I'm too lazy to go look it up.