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.
I recall hearing that it was 29K on Griddy (myself included) before the storm. I've also heard a little over 10K were left to be transferred when it was shut down. I'm not sure exactly how many were exposed to the 4-days of artificially pegged prices.
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).
Yeah, that's why I added the qualifier. It seems likely that most of the spot load was going to home heating (with less flexible large loads having contracts).