All good: the workers left and will be sending an estimate, no more than a couple thousands more, for the attic. So we may be good for less than 8K. Yay!

And this should add about over 5 years of life to our roof. And fix the problem of the attic.

If not 10 years more.