Como debes ser de los primeros que tienen que cambiar la lámpara no creo que encuentres mucha información. De todos modos saca la lámpara y mira en la bombilla el número de referencia y haz una búsqueda en Google. Por ahí podrás ver si hay bombillas sueltas disponibles y sus precios. Normalmente vendrán de China o de USA. En algunos proyectores cambiar la bombilla es muy fácil y no hay que soldar nada, solo insertar y apretar alguna tuerca, en este no lo sé. Como tienes una lámpara kaputt puedes practicar con ella.

Ya contarás.