Good to hear - whatever the exact measurement is it sounds like you got a good rain.
Here in northern Colorado we can't buy a good rain now. At my location northwest of Fort Collins we're currently at 70 days without any significant precip. We seem to be too far north, too far south, too far east, or too far west to catch any storm that comes along. We've run out of directions to miss storms from