So, we're still trying to get in touch with the electrician.
I've notified my insurance, and before going over details with them tomorrow (when they are in the office) I went through most systems today in the motorhome to test them...
Everything seems to work fine except charging of the house batteries by the power converter via shore power. Importantly, the 12v lights run off shore power.
Maybe I dodged a bullet?
__________________
|