El precio que he encontrado en internet es de 384,68 € IVA inc (no he mirado mucho; este precio es de la página http://www.proyectoresok.com/lampara...d=VlBMIEhTNTA= )

Así que supongo que el resto es limpieza, e impuesto revolucionario. Si llego a sospechar que es la lampara no lo llevo a arreglar, encargo una y listo.

Pero alucino con las 'lamparas compatibles': la original ha durado 6 años, la segunda... meses! Y usandolo parecido.

Gracias por vuestra ayuda. Os contaré el final de la historia