That's right about how it works in a nutshell.
But I am not clear on whether a symmetrical fault to earth would be detected.
Such a fault is improbable in a hot tub. But I want to know whether it would be detected, if, for instance, a 240 V floor outlet were filled with Pepsi causing a symmetrical fault to ground on both poles.
