Aunque no estoy muy puesto en el tema de Androids TV, con un Xiaomi mi box 3 4k igual te podrías arreglar. Hay algunas ofertas en webs por poco mas de 50 €