“During daytime hours, over 50% of the electricity on the Texas (ERCOT) grid is generated by solar and wind power.”