A heat pump uses a 100,000 gallon swimming pool as a heat source in the winter. When the heat pump is running at full capacity it draws 3.5 tons of energy from the pool. Assuming no heat gain to the pool from sunlight or ground conduction, how long would it take the heat pump, running at full capacity, to draw the pool temperature down by 20F?