My bulb has gotten too dim and needs replacement after about 3000 hours. Way to go Infocus!! (I mean this in the most positive way possible)

I checked online and there are so many vendors selling "OEM Equivalent" or "OEM Compatible" bulbs for about $ 90-100. The OEM bulb can be had for about $ 160-180. My question is if anyone has had any luck with these non-OEM, but compatible bulbs?
I would rather only spend $ 90 on this Pj now so it gets me another 6-12 months while I decide on my next PJ. I have fixed the light tunnel once and it is also rearing it's ugly head one more time.
I see a lot of these lamp vendors on ebay. If anyone knows a reputed place offering decently priced lamps for 4805, please let me know.
Edited by Cataphract - 1/13/13 at 8:14pm