En su momento el 6000 era, quizás, el mejor 3LCD que se podía comprar.
No lo puedes comparar con un 9400 ni por prestaciones ni por dinero. Tal vez me quedaría la duda con un 9300 aunque creo que te pedirán más que por el 6000.

Hazte con el 6000 y busca algún cacharro que mapée bien de HDR a SDR. Si puedes un PC con MadVR estaría muy bien. Algún box también, pero ya deberías preguntar cuál no te decepcionará.