I was thinking of doing that because I like to have a spare, but I'd made the guess that because it wasn't even clicking it was likely that the micro switch had actually failed outright and seeing as there were direct replacements available on ebay, new, for £35 it would be better to have a new...