I expect they would have mostly been shut down at $1200.

Really it looks like retail electric providers in Texas are structurally disadvantaged vs generators, carrying an unlimited obligation of service vs getting the spot price set to the regulatory maximum.