Am I right in saying that a permantly wired circulation pump for a swimming pool DOES NOT have to be GFI protected? Only if it is cord and plug type? Thanks Steve..