Thanks TC! You keep the aquarium pump going all summer?