Have pool approx 20'x25'x5' oddball shaped about 12-13,000 gallon and spa about 6' dia that need replastering. Quote to use CL industries products and completely strip old plaster out down to gunite is about $15,000. This sounds high. Buddies in Houston are getting this work done for under $10,000. Anyone in West Texas have experience on pricing? Have heard that Houston may not be stripping completely down to gunite