Definite possibility!
Ah ha, the other dot in Texas is supposed to be in OK, OKC.
Sorry about that, I don’t imagine Texans would want OKC slipping down into their state!