85 MPH in Austin?