Por lo que dices que gastas unas 3000 horas de lámpara al año ( o eso es la apreciación que he tenido al leer lo que has puesto ) yo me iria a por el EPSON 9300 ya que este fabricante tiene unos precios en lámparas oficiales dificiles de igualar ya que por 120€ tienes recambio, su duración son de 5000 horas en modo ECO. Si no estoy mal informado, las lámparas de los JVC de este tipo de gama son 3 veces más caras y si vas a gastar al año esa cantidad de horas yo creo que no hay color, a parte que el EPSON es un auténtico todo terreno y se ve muy pero que muy bien.
Valora lo que te interesa y sobre todo el mantenimiento, si tienes que cambiar de lampara cada año o año y medio, no será lo mismo pagar por una lámpara 450€ que 120€, a todo eso también está el recambio de filtro, o el propio mantenimiento de la máquina, que por otro lado tampoco es barato. Un bicho de estos no es cualquier cosa, estamos hablando de auténticos proyectores de cine en casa.
Saludos y suerte con la compra