Well I suppose it had to happen one day... I accidently cut the wire of a pico led at the base of the plug.  It so tiny that I guess there is no easy way for me to fix it?  Wouldn't ask for a standard white led but it was a colored one and I only have a few of those :-(

thanks

Benoit