In the process of selecting a pool builder, and one of the pool builders mentioned that they use high psi gunite (4,000 psi IIRC). They stated that the other builders in the area only used 2,500 psi. We're on expansive clay soil. Is this something to be concerned about or just fluff?