Thank you very much for your most helpful observations.
So, the bottom thing in the contactor box is an overload switch...
Well, well, well (!)...so the contactor staying off randomly is not the fault itself but merely the symptom. How many times have I gone to fix the symptom, not...