about 3.5" here downtown, so not as much as DCA but it was pouring overnight. Drainage is extremely good around here though so we almost never have any flooding (everything just flows into Rock Creek and the Potomac).
I remember that storm - I lived in Georgetown at the time (across the street from Rose Park) and Rock Creek Parkway had turned into a raging river. Crazy amounts of rain.