Lowest temperature in Austin on October 5: Prediction Markets & Forecast