I hope they plug the extension cord into a GFCI receptacle.