Ya se han hecho comparativas frente a frente con los dos proyectores (12000 vs 9400) para sacar esas conclusiones??
Según uno de los videos que puso Fredy, el láser es más luminoso y pierde mucha menos luz que el 9400 en modo "cine natural", así que teóricamente la mejora en cine HDR debería notarse, no?

Un saludo del Oso