si tiene que ser tcl busca la serie 835 o 935.
con eses presupuesto puedes comprar/encontrar una 85qn85b por ejemplo