 on her rain gauge here, not so far from where we live. And I haven't gone and looked at mine yet, whereas I think the Weather Service at the time reported 4,500. So it all depends, and that's the expected nature of thunderstorms and showers is this incredible variability.