The mess was cleared up fairly quickly, but it wasn't until October that work on repairs was started. We assume the delay was a combination of insurance companies and the fact that masons are so busy it's difficult to find one.
11th October, and work is well underway
It's now all finished and looking splendid. The stones don't quite match, but we assume they'll weather in pretty quickly.