Searching through ebay, I came across what looks like a
pretty good bulb at a very good price (Approximately US $5.85, free shipping).
So, I ordered 4 of them.
I have ordered a goodly amount of electronics stuff from China, and have had very good results. Shipping time can be pretty long, from 4 days to 4 weeks.
I will report on the results.
-AC_Hacker