Texas Senate GOP margin of victory?

Prediction market on predictit.