
There are a couple of people, try either retroleds - the forum admin here as he might be able to help and is 100% honest and possibly ledland -
http://www.pulsarleds.com/repairs.html
best of luck. Do let us know the results as we appreciate any feedback on this sort of thing.