I think that it is just a matter of wording by PJB. Warranty is not used in pond building. He may ask the builders in other ways as to what happens "if"....

I learned over the summer that lifetime warranty in Ohio means "legally" seven years!!!!!!!!! What a farce.