We are in the final stages if our IG install. Plaster happened yesterday and started filling the pool immediately. We saw large (not hairline) cracks. Builder confirms the plaster was a "bad batch." They are going to come, drain our 1/2 full pool, tear out current plaster, and treat it as a replastering. Builder says one coat of plaster adhered to gunite right but second coat didn't connect right and peeled right off. I'm worried that it won't last as long as a "replaster" and I don't know enough to know if it will look right. What should I ask and watch for in this fix? Should they cover the cost of the water (nearly 10,000 gallons to drain)?