Si lo has recuperado has tenido suerte. O mucha paciencia. ¡Felicitaciones!

Las horas declaradas por el fabricante son otra cifra de sueños húmedos marketineros cómo los lumens o el contraste. En realidad nadie te puede asegurar cuántas horas va a durar la lámpara. Es cómo una bombilla de filamento de casa. Hay algunas que duran años y otras días.
Lo que sí te puedo decir es que ya tienes experiencia. Para la próxima vez, cuándo llegues a un uso alto en horas de la lámpara no esperes a que se funda o, en el peor de los casos, explote. Te compras una buena con tiempo y la reemplazas. La que quitas te la guardas cómo muleto.