After a visit to an electrical shop Orange LEDs can be swapped for light blue LEDs.
Next stop, is the keyboard. TipEx anyone?

More importantly, any news on whether the WiMax card can be unlocked (or even if it is?) I think it is 2.5 Ghz, which is a shame since I think the WiMax coverage is somewhere higher were I live