True, halogen bulbs tend to last longer. But I checked with some halogen PR bulbs (aka HPRs), and their lifetimes are on the order of 20-50 hrs, not 2000-5000 hrs. So the mystery remains.