A map!! I do love maps. It's actually getting hard to find maps for some places.
As for the roof...$15,000 doesn't sound that high to me. When we first moved in our current house I checked out prices on a new roof...two estimates pretty close to each other. One for $12,000 and one for $14,000 (back in 2024). We decided to wait. A lot of stuff going on around here, some of it health related. We don't want construction crews disturbing our peace.
Good luck with the project.