A bit more progress for you all to marvel at.

At last, nearly 2 years since they were removed, the sandstone ridge tiles have been replaced. Nice to have it waterproof at long last. (It wasn't when we bought it)