Gracias a todos por las respuestas. He estado leyendo sobre LCDs y DLPs y me decanto por uno de los últimos (lo que descarta a los Epson), ya que creo que seré más sensible al efecto "screen door" que al efecto arcoiris.

zanco: también he leído sobre distancias, y creo que se va a quedar como lo tengo ahora, que son 112".

jonaisa: sí que puedo instalar el proyector completamente centrado (ya veré cómo lo cuelgo de la pared del fondo, porque me imagino que tendrá que ir en posición techo, por los gráficos que he visto por ahí de cómo colocarlos en función de la altura a la que quiero el visionado).

El HD33 se me va de precio (no lo veo por debajo de los casi 1300€) ¿qué diferencias importantes hay entre el 23 y el 230x, y el 33 y el 300x? Vale, ya sé que los más caros tienen más contraste y algo más de lúmenes, pero si se ven aceptables ¿notaré la diferencia?

Y por último ¿tan bueno es el Mitsubishi?

Así que de momento, estirándome algo en el presupuesto están el Mitsubishi HC4000, el optoma HD300X y el BenQ W1100.