Bueno, por si le interesa a alguien, al final compré el Best Buy Easy Home DVB-T HD TopBox en pccomponentes. Es muy pequeño y ligero, cambia rápido de canal y le llega muy buena señal, lo uso para un proyector FullHD y no pixela ni nada parecido. Aunque no le voy a dar uso, tiene puerto usb para reproducir de todo, ISOs supongo que no y creo que no decodifica dts, pero tiene opción de sacar el sonido por HDMI Raw data. Si alguien quiere saber algo en concreto, aquí estoy. Un saludo.