They came out during a big rain to evaluate the problem. The serviceman returned on a dry day to apply sealant over the affected area. They offered to do the whole porch roof for $600, which may have been a good idea. I was feeling the pinch, however, and we stayed focused on the one area that was leaking at the time. For $100 they sealed the seam between the house roof and the porch roof. Plus, they cleaned the rain gutters. Solid work, and made time for a small job. Thanks, BAS!