So what happens if someone uses the 240-volt 40-amp mobile connector at an RV park? For that matter, how do RVs avoid similar issues at RV parks? Presumably the outdoor outlets at RV parks have to have GFCI, and whatever considerations require the mobile connector to have GFCI would require the same for an RV. No???
I've had my Roadster for just over a week and have only ever charged at home where I have an RV-style outlet but without GFCI. I don't know why there's no GFCI. I asked the electrician to put an RV outlet on a dedicated circuit and it never occurred to me to ask about a GFCI. (That circuit was for a Porsche EV conversion project that keeps getting delayed.)
I don't anticipate any trips long enough to require charging away from home. Any trip that long I'd probably want the luggage space of the Prius. But I'd like to know whether such charging is a reliable option. I've read of people doing this. So how do the issues relate to the OP's problem?