For a specific car charger, the manual states about an external RCD (residual current device) and the scope belongs to the installation company. The manual appears to be written for a country other than the USA. Upon doing some research, am I correct in that the RCD is a different term for a GFCI breaker? This is a 480V charger, hardwired outdoor install. Am I correct in that no GFCI protection is required even with the new 2020 language?