Ok,

having a couple of hours this last weekend I had some time to clean out the broken glass and take inventory of the machine's condition after the UPS debacle which I discovered that my particular machine uses bayonet fitting type bulbs.

has anyone done a conversion from incandescent bayonet bulbs to LED?