There are already DC ties to the other grids in Texas. They do buy and sell power from other regions. They just aren't particularly large ties, maybe capable of

There are already DC ties to the other grids in Texas. They do buy and sell power from other regions. They just aren't particularly large ties, maybe capable of 2GW total?