Jag är osäker på om det där kan ställa till det problem du har. Denna kortslutning borde i alla fall inte ha orsakat att U20 gått sönder. Det brukar oftast bero på kortslutning av switchmatrisen mot ledningsbanor/socklar till GI-belysning (6,3 VAC), Flashers (+20 VDC) eller Spolar (+50 VDC). Även en trasig U14 (U23 på WPC-S och WPC95) kan också få U20 att gå sönder. Ifall switcharna fungerar en kort stund efter det man bytt U20, och sedan slutar fungera igen, är det troligen U14 (U23) som även måste bytas.
Hursomhelst, böj isär kortslutningen och prova ifall switcharna därefter fungerar. Sen skulle jag i så fall satt lite krympslang eller isoleringstejp runt jordörat på microswitchen, annars kommer det snart hända igen just på det utsatta stället.
Edit: Lite trött i huvudet.