Speaking of extension cords, despite all the literature that says don't use one, I assume that if you buy a high quality extension cord and use it carefully that it should be fine. My electrician thinks it would be. The extension cord will be well away from the pool and I plan to use a...