I do know someone who might be bale to do this (he's shit hot at electrical repairs, and works in the theater industry), but he lost his workshop during the Denmark Street upheaval. I will pm you his email address in case he still operates.
If you do return the mics to Chris, you should not pay import duty if you label the goods / ask him to on the return journey "broken microphones for repair, customs value $20".