I thought we finally had a pool builder but he is saying in order to warranty the pool, he wants to put 5' wide 16" thick concrete with rebar around the pool to the tune of $15,000. Is this really necessary? All of his other prices were pretty reasonable (for our area) and I feel like this is just his way of making his margin back.