We also discussed the problem with the leak into the house. Ted's opinion (which matches the observed facts) is that the root cause of the problem is a too-small gutter and downspout which backs up during a gully washer from particular directions and dumps rain into the house. We know the gutter is clear from previous inspection, so too-small would seem to be the correct description.
Now if I can just find someone to fix it...
