Ante la ausencia de comentarios, he mirado especificaciones en varias webs de fabricantes y he probado un HD200X de un amigo en mi sala. Viendo que con ese equipo estaría satisfecho, me he concentrado en buscar equipos que cumplan como mínimo con sus especificaciones (fácil ya que es un equipo moderadamente antiguo) y con mi distancia de proyección.

Finalmente he llegado a una solución de compromiso: adelanto la posición de proyección desde 4m que es la actual (hay una errata en el primer post, donde indico 4.2m) hasta 3.5m-3.6m, que es lo más cerca que puedo mover el soporte sin provocar problemas.

He encontrado el HD25E de Optoma, que cumple con los nuevos requisitos, por 669 € IVA y portes incluídos, lo cual me parece un gran precio y me ha "forzado" a adelantar la compra unos 5 ó 6 meses con respecto a lo que tenía en mente.

Ahora tengo la duda de si se puede conseguir la tapa para la lente de alguna forma, ya que según he leído por ahí el equipo no la trae.

Espero que mi experiencia sea útil para algún compañero, un saludo.