This is how hard it rained in the middle of the night in Austin.