Thank you for the answers above. To update further, now that the problem is, we hope solved, this is the story. I don't know how I didn't cry or burst out laughing. Within an hour of the electricians' visit, the system tripped again and would not reset. Electricians were called and arrived...