Borde undersökt att den fungerar innan

Huset har IT-system (230V mellan faser, ingen nolla -> Norge). Bastun är på 4kW och tar då ca 10A mellan två par av faser (har en mätare kopplad till HAN-porten och det såg ok ut).
Förra ägarna som hade bott i 20 år hade aldrig använt bastun och gruppcentralen har bytts ut någon gång under den här tiden, och elektrikern har satt separat jfb 30 mA på bastun modell Gewiss GW94347
https://www.gewiss.com/content/gewiss/w ... W94347.pdf
Vad jag läst mig till skriver många tillverkare att bastuaggregat inte ska kopplas till jfb och det finns något undantag i reglerna dessutom.
Jag funderar på först visuellt inspektera, och sedan köpa en isolationsprovare för att utesluta faktiskt fel på bastuaggregatet. Sen kanske elektrikern kan ersätta jfb mot en på 300 mA? Eller andra idéer?