I did, one of them started working after swapping but I've still got one dead bulb. Its covered in red paint on the tip that looks pretty well faded and cracked, so who knows how old it is.
I thought about LED's and still might try them. For now a bulb for a buck will get the light working.