So there was no "opt-out"?
I don’t think so, but I don’t live in Texas, and didn’t follow it that closely.