I installed new fans a few years back. They all use those little 6" disc LEDs. They're replaceable. Is there some other type I've not heard of?