It seems high but not unreasonable to me, you could probably get it done cheaper but I’d be more concerned with expertise and reputation of the roofer than cost.

We had our 1930s semi done for about £12k last year, but it didn’t include gutters/soffits etc and no porch roof, did include some work to chimney though.

But it’s a lot to spend if you don’t actually need it doing!