Highest temperature in Austin on October 7: Prediction Markets & Forecast