The regulator set prices at $9000 with the idea that the high price would reduce the shortage.
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.
I've also discovered over the past week that there's at least one more wholesale-rate provider, https://www.octopusenergy.com (specifically, it's OctoFlex plan).