No soy demasiado experto pero desde hace unos meses tengo el Mitsubishi HC3800. Estoy contentisimo con él. Al ser el HC4000 el modelo superior quiero imaginar que serà un proyector muy bueno.

En la duda que tienes con el Epson, yo tambien la tuve, parece que los Epson tienen algo más de luminiscencia lo cual te ayudaria en una sala dificil de oscurecer. Además si no puedes poner el proyector centrado en la pantalla, o te quieres ahorrar el tragineo que eso a veces supone, el Epson tambien es la mejor opcion por su Lens Shift.

En canvio si puedes situar el proyector centrado sin problemas, y sobretodo si lo vas a colgar, te recomiendo el Mitsubishi ya que colgar el Epson puede hacer que tu techo se venga abajo, ... son unos buenos trastos...

Espero haberte ayudado.