That's just awesome! I've heard stories which are all over the place on lamps, and I think one of the big reasons we are seeing newer lamp-based models that are fairly large is that they are optimizing cooling paths really well. That combined with newer lamp designs allows them to actually last, and look pretty good for thousands of hours more than the lamps of 15 or 20 years ago. I mean, it's not like lamps are really super different (not including LED/laser) all these years later. I'm not sure what they are doing, but it is magic to see 5,000+ hours being routing on so many models.
Nearly 12,000 hours... Magic.