TCL now sells 4K Android TV models in the US - 9to5Google