Our roof flashings were damaged last year in a storm and some water penetrated immediately below. This was repaired but some patches of discolouration seem to come and go on the affected internal walls. DH has spoken to the roofer who says this is normal for drying out and to be patient as it takes a while. Does this sound right?