Yo estaba como tu, elegi el 7400. Para pelis no hay problema con el hdr, ya que a 24hz admite 4k y hdr. Y para jugar no me compensaba pagar 1.200€ mas por tener hdr a 60hz. Si hubiera tenido sala dedicada tal vez hubiera ido a por el 9400 o el jvc x7900, pero me revolvia el estomago el gastarme 1.200€ mas en el 9400 o 2.000€ mas en el jvc x7900 y que no me compensara la mejoria al ser sala no dedicada con techos y paredes claras. Si la diferencia hubiera sido de 400-500€ hubiera pillado el 9400.

Si tu prioridad es el 4k hdr y 60hz ve a por el 9400, en mi caso la utilizacion sera 90% cine, 10% juegos, y decidi renunciar al hdr en juegos a 4k y 60hz (si que podras tener 4k y hdr en juegos a 30hz o 4k sin hdr a 60hz). Creo que en mi caso que el juego sera minimo, merece la pena el ahorro y renunciar al hdr en juegos 4k. Con lo que te ahorras, en 3 años te pillas un 4k nativo que sera bastante mejor que el 9400 y mientras tanto disfrutas del 7400.