Here's the info for anyone else interested in doing the swap from the outdated factory incandescent bulbs to LED. In addition to red, they are also available in 'cool' white, amber, and blue (possibly other colors as well, but those listed are already confirmed).