Hello all, I have been looking at the discharge bulbs for sale on ebay, as one of mine stopped working the other day. Has anyone here used one??