Today is a red letter day. The microwave repairman showed up and the microwave short has disappeared. It was a simple problem with a complex solution. One of the prongs on the interface connection had worked its way loose and was shorting out whenever the plug moved. To get to this plug the microwave had to be disassembled. This required about an hour of work, but the job is done.