Does the NEC require GFCI protection for a hard wired spa with a light?