I don't really have much experience here, so what I'm saying may well be wrong. But I would have have thought that the builder's public indemnity insurance should cover things like this. And I also thought that it was mandatory to have this insurance.