So, we got the in Tex 12x24x52 pool up today and the cord is about 10 feet short of the outlet. It is only likely to be a one season pool and comes with a GFCI cord. Can we use a 10 gauge heavy duty extension cord if we turn the pump off while the pool is in use?