I ran into a similar issue a couple of months ago. Actually this is a common problem. I do not have much space, but I plan to resolve this issue now. I wonder how much you paid for repairing your attic? I guess prices have gone up. I got acquainted with the price list of 2023 from these guys https://www.homequote.io/cost/roofing/roof-tile-repair-cost I wonder if I can find a master cheaper? Although it seems to me that it’s not worth saving on roof-tile-repair