We're up to 5.6" now. I think Denver averages 15" total precipitation a year. We got a 1/3rd of that in less than 48 hours.