Suddenly, the Texas summer air feels a bit cooler.