3.75 to 4" of rain depends on what part of the county you're in.