No, but I don't see why it shouldn't be too hard to replace the LED. I'm not keen on blue, unless it serves a specific purpose. If you go for green, choose a high efficiency type. You still might need to increase the current, by reducing the series resistor value. If it already uses a high efficiency LED, changing it to green, will make it brighter, but it might still not be good enough, if the current is too low.