Muchas gracias, con eso he podido ver ya 2 películas. El reproductor de ES Explorer me ha dado problemas, pero me he descargado el de VCL y va muy bien. Un par de momentos de imagen lenta, pero breves.
Gracias también a las demás respuestas. Esto es temporal, buscaré una alternativa a la raspberry pi que si mueva 4k. Después de haber probado un kodi en un micro ordenador, creo que cualquier smart TV me va a parecer basura.
Con el reproductor VIDEOS que viene preinstalado al final me aparecieron los videos en 4k. Lo intenté 2 veces, y a los pocos minutos, una vez se cerro y otra se reinició directamente la tele.
Menos mal, porque estaba ya decidido a devolver la tele. No se quien fue, pero hace poco alguien escribió que no tenía sentido comprar una tv por su smart TV. Estoy de acuerdo, lo importante es la imagen. Y creo que este modelo se sale.