Te cuento mi caso, aunque es un poco particular. Como el deco no aceptar sintonizadores TDT usb y no tengo el interno, los canales de TDT los veo desde un tvbox con coreelec, por lo que para mí son IPTV. Desde esa fuente, para que me fuese fino del todo (audio y video) tuve que instalar el plugin serviceapp y seleccionar el reproductor exteplayer3. Pero entiendo que el mejor reproductor dependerá de la fuente con la que trabajes, la cosa es instalar el plugin serviceapp e ir probando.