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