Lámpara Benq MS517

Buenas, mi proyector ya me pide un cambio de lámpara. Va a ser mi primera vez y os pido ayuda para saber dónde la consigo y algún tutorial para cambiarla, soy de Barcelona. ¿Qué tal son los de Proyector24? Igual me la ponen ellos, no? ¿O mejor la pido a Amazon? Es necesario una original (cuestan alrededor de 100 euracos) o con una compatible ya me vale?
Leo que:
"Es posible que el proyector apague automáticamente la lámpara cuando el contador se aproxime a su nivel límite. De ser este el caso, podrá utilizar la lámpara durante un poco más de tiempo si reinicia de cero el contador de horas."
¿Cómo hago ese reinicio? El proyector no me deja ni acceder al menú...
Gracias anticipadas.