I don't know about CoCos but the first Trash 80 was pretty common here as we had Tandy (Radio Shack) outlets in most larger towns. I suppose it was one of the first non-nerd machines, certainly one of the cheaper ones. As far as I can remember, my mate was fixing mostly TRS80s and Video Genies by the time I was 15 (1980), and it was another 2 years till the Spectrum appeared and eclipsed everything else here (strangely I still haven't picked one of those up).