Why not replace the bulb for ~$100? Got mine from Discount-Merchant, DLP TV Lamps, LCD, Plasma, and DLP repair parts Yes, the bulb is an OEM (Samsung). No need to take it to a repair shop. As long as you have a screwdriver, it will take a few minutes to replace it.
If you don't want to replace...