Stock angel eye bulb is Philips 12082, 12V, 10W.
They are correct as far as your options:
1. Stock bulb
2. Angelibrights bulb with integrated housing (best LED replacement but expensive - $300)
3. All other LED replacements come with bulb and housing integrated. However, there doesn't seem to be much difference with them (ranging in price from $45 to $150.
Initially, I went with the ebay kind for $45 bucks. Nice cheap upgrade I think. Have had them for 2.5 months no probs.
However, I want brigther ones so went with Angelibrights v3.0. I should receive them soon and I'll post pics of the difference. If I'm happy with them, I'll sell the ebayers.
BTW .. I tried DIY LED bulbs and was not better than the ebay kind - hard to find the right bulb.
Good luck!