Just another thought. Receptacles for sump pumps, should be on GFCI if they are in a basement, right? How many people do not want that rule? Should the receptacle also have to be AFCI?