Bueno,pues he encontrado lo del hdmi en ajustes avanzados. Estaba puesto en hdmi 1.4, lo he cambiado a 2.0 y ahora las pelis 4k van bien...pero sin hdr!esto es un caos..funciona una cosa y luego deja de funcionar otra.