My wife and I just voted and did the same. The alternative to Cornyn on the ballot is a lot worse.
I voted against him the primary, that’s all I could do.