FWIW:
I hung a standard box fan ($9) from the ceiling about 6' away from the aquarium. It produces a nice wind across the top of the aquarium and for the enitre room. Even though I use a chiller, I still use the fan just for general air circulation since my HVAC does not run into my basement where I keep the aquarium.
As for mixing water, I do 25 to 30 gallon water changes every week, so I got this down to a set procedure. First, I buy the cheapest salt in the largest quantities sold at my LFS, which happens to be Coralife (the 5 gallon bucket contains a T-shirt, and three 15 pound bags of salt for $48 plus tax). Here's the method:
Fill garbage can with RO water. That takes a day. Pour about half the bag of salt in w/o measuring it. Then use a high speed drill with mortar mixer attached to stir the water violently, drawing air into it. Beating air into the water replenishes the oxygen in the water which the salt consumes while dissolving. Measure with refractometer. Add either salt or water as need be. Repeat senseless violence. Get big joy out of beating up the defernseless water. Smile evil, sadistic smile. If it's winter, add a heater. Add pump with hose to circulate water from bottom of can to above the water line, cover and walk away. Do water change at least a day later.
During the summer, I add a plastic jug or two with frozen water in it to lower the temperature about 15 minutes b4 water change. (Not adding ice to water, just the frozen plastic jug to draw heat out of the water by melting the ice in the jug.)