LEDs infrequently go out. They have an expected "ON" lifetime of something like 20,000 hours. I would suspect some sort of wiring issue, or something to do with the water heater control board first. BUT, switching out the generic red LED might be the easiest thing to do. Be aware that LEDs are polarity sensitive, and won't light if installed backwards, but this will do no damage, either.