So I need to buy a replacement lamp for my 72" Samsung DLP. Looks like the original bulb was an Osram Neolux, according to samsungparts.com. Other sites I check state a Philips build is also OEM and seems to be a batter bulb. Worth the extra $30 for the Philips? Or should I stick with an Osram?