Los modelos que propones están bien pero tienes que tener en cuenta sus virtudes y debilidades.
BenQ y Optoma son DLP. Con ellos obtienes buena definición y son menos sensibles al polvo que los 3LCD. Como punto debil diría posible sensibilidad efecto arco iris y unos precios de lámpara originales de 150-180€.

El Epson es 3LCD. Ofrece unos colores brillantes, no causa efecto arco iris y sus lamaparas originales rondan los 90€. Tienen peor definicion que los DLP y son muy sensibles al polvo siendo muy frecuente que entre alguna mota y se vea un punto verdoso en la imagen.

A ti te toca valorar cual te compensa más