“Shedding 40 hours per year of peak load from the US electrical grid could free up an additional 80 gigawatts of power.”