Pues muchas gracias por vuestra ayuda.

Parece que la mejor opción es el Optoma.

El HD200x está en varios sitios en oferta junto con una pantalla de 92" 16:9. Por 1000€ resulta atractivo.

Porque el HD20, no sé, en alguna parte he leído que es prácticamente igual.
Y si el HD200x es más "famoso" mejor para recambios, etc.

Ahora estoy de viaje y no puedo comprarlo, pero en una semanita lo compro y en cuanto pueda me paso al mundo de los proyectores!!