We’ve been in our home almost 20 years. Sometimes after a very heavy rain we’ll have water drip from basement rafter. Over the years have had several roofers; new flashing; re-configured gutters; new downspouts; etc.
Since the water drip was not a constant, it was hard to determine the fix. Anyway, your guy, after 5 mins found the problem (obvious) and neatly fixed it! It’s been the rainiest summer and NO DRIP!