I replaced my Lamp January 2010 after my Light Tunnel was replaced with a new lamp in January 2007. My lamp had just over 20,458 hours so 13,153 is certainly not know record.
I learned a long time ago from some of the bright guys in this forum, that it is not as much the hours you have on the lamp that make them go bad, but the amount of times you turn your TV on and off that takes the life away from your lamp. I bought my Lamp off a guy on fleabay for the Lamp with housing for $96. The lamp was installed backwards so I e-mailed the seller the pictures of it, and he told me either he could send me another back out to me, or if I reinstalled it myself he would give me a Paypal credit discount of $10. I reinstalled it myself, so it cost me $86 for the Lamp with the Housing. By the way it was an Philips Lamp, the same one used by Samsung.