I was recently told by a pool/fountain installer that pool pumps require GFCI protection. Can someone give me the NEC section for this? I use remote pumps (not submersible) all the time, for fountains, with GFCI protection.