The lake is at 8,149 feet. That means on a 100-degree day in the valley, the temperature there won’t peak much above 80 ...