Synonyms for color_TV_tube