I was wondering this. I figured it had to do with Native Americans around it. But I’m very surprised that the name change was voted down. Well, maybe not surprised, given it’s Texas, actually.