Prolly won't make a spits worth of difference actually. When it 102 degrees outside, it ain't gonna matter. Shade and plenty of O2 is prolly your best option. Next would be good filtration and refreshing the water regularly. I imagine the electricity to run an agitator would be much higher than a bubbler too.

I have heard of folks running copper tubing into and out of freezers to cool the water too. But that's an awful bunch of trouble for a stewpit minner.

Wannabe...