I dunno if this is related to what you're thinking about.....
The coin door wedge light bulbs can easily be switched with another wedge fit light bulb OR a wedge-type LED. Wedge type LEDS can be bought here
www.superbrightleds.com (cheap and pretty fast shipping). Hope that answers your question.
I replaced my dead coin door bulbs with white LEDs. No conversion necessary.