No tengo ni idea porque no conocía el modelo y tampoco sabía que había una época dorada

.
Lo que sí te digo es que SE VEN DE PUTA MADRE pese a quien pese.
Si regulas/ajustas un infocus in80 lo mejor que puedas, ajustas/regulas un JVC X3 30 ó 35 (o un Sony 30-95 que son los que he visto) en la misma sala (al menos no dedicada que también es lo que he visto) y dejas pasar a 100 buenos aficionados al cine que no entiendan de normas, calibraciones y demás gaitas y me juego el pescuezo a que al menos 9 de cada 10 eligen la imagen del infocus. Así de claro y repito que mi proyector es un JVC y el otro ha sido más un experimento/capricho que otra cosa.
Hablo de imagen 2d y sin tener en cuenta todo lo malo que tiene el infocus con respecto a zoom, flexibilidad y arco iris.
Saludos.