Highest temperature in Austin on September 25: Prediction Markets & Forecast