That’s all good news ... but I don’t like that “Saudi” Texas moniker.
as a native Texan,I don’t either.
Now, The Republic of Texas, I like that!