According to district facilities manager Tom Bravo, a pump at the high school broke the week of Sept. 29, decreasing the temperatures of the swimming pool. “At that time it went down to 76 degrees,”...