I could argue that there isn't really a market as the Texas grid is (almost fully) isolated from the rest of USA.

The first change should be a federal law that all electric grids in USA are well connected so there is one big market place and Texas would be able to get electricity from other states.

https://en.wikipedia.org/wiki/Texas_Interconnection

For a reference: see how many other countries that a 3-million citizens part of Denmark is connected to: https://www.electricitymap.org/zone/DE?page=highscore&solar=... (Needs Chrome/Firefox due to WebGL).