I took the bulbs in to the local chandlery and got straight-up replacements. You have to use a red LED with the red lens and a green one with the green lens, or else they come out as sort of pastel colors. At that time the LEDs were about $35 a piece. Power consumption went down to almost nothing. I had to buy new lenses too, because the old ones were melted from the heat of the incandescents!
And now I'm taking them out again! Due to windlass installation, I have to move the running lights up to the pulpit, which requires an entirely different kind of housing and an entirely different LED. I may have a real good deal in a couple of weeks for anyone who has the old-style perko deck-blister lights. Unless I can figure out how to transfer them to the zodiac...