Gentlemen,
The original LED's work really well, and have not failed in many many years. Unfortunately now they are about $4.00 a bulb, which is pretty steep, however sense the LED's hardly ever fail, to me it's still a pretty good investment, especially if you are staying with original 711/072 or 022 switches. My old Fish Tank cars and some of my Cabooses have also had the same LED's in them for over 12 years now, making this a decent investment, especially sense I paid $1.99-$2.25 for my LED's at that time.
PCRR/Dave
The link I posted above sells them for less than $2 each (prices are for 2 bulbs) and they are just like the ones you posted above (screw and bayonet). They are 18 volt and work with either AC or DC and some (maybe all?) are available in different colors like white, red, green, and also dome or flat top. Many of the other ones I have seen are only 14 volt.
Even at $4 each, if they outlast me I suppose it's still a good deal. Won't have to worry about buying them again anyway.
