What do people do about running or not running a home swimming pool when they are away for a few weeks? I'm torn between dosing the pool up with some extra chlorine and turning the pump off or dosing the pool up and reducing the pump running time. Any thoughts appreciated