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