It's recommended to use the same color LED as the lens covering it, so using red LEDs does not necessarily mean he's ditching the factory lens. But I suspect there will be more to his story so we'll see what he does.