Mira si encuentras un 9400 todavía. Incluso uno usado con una carga horaria aceptable. Los nuevos modelos son bastante más caros.

No siendo 3LCD, quizás el UHZ50.