@stefanfendt good to know. I have seen main circuit RCDs for sale in the US, but they are in the hundreds of dollars and I don't know if or where they are required. No way a typical DIYer here is getting into that level of expense and expertise -- I assume any normal GFCI will trip on significant inductive or capacitative loads. People here expect such components to be very inexpensive.