Correct. It is also relevant here because Texas is not connected to the federal electrical grid. That means any amount of excess wind power they produce cannot be harnessed by selling it to other states (or bought, during outages).