Texas Senate Republican primary turnout?