Sorry about your tree. The shingles, fence, siding , none of that bothered me two years ago when we had a storm come in. I almost cried when I saw my trees though.
I'd agree... You can't replace a tree that is old enough to provide shade.