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