Texas and Oklahoma may have their differences, since Oklahoma sucking is the only thing that keeps Texas from sliding off into the Gulf, but in a case like this, I think the Texas/OU fans on both sides of the river would react the same.
And it would be ugly (for the federal servant of the States).
/johnny
I think you are right.