Thanks for this. No sticker on the main circuit breaker box, so presumably not TNCS; Of the green/yellow wires leaving the breaker box, one goes to the gas pipe, the other goes up to the garage ceiling, and then I know not where!
In any case, back to the original topic of the post, it sounds...