Have any links to this? I'm not super familiar with Texas's generation or grid.