Hello, we are planning to put a 32x12 Doughboy in this spring, hoping to put it a couple of feet in the ground. The estimate we got from a pool store was $4000 for excavating and putting the pool in. They gave us an estimate of about $9,000 for the pool and all we need with it. This sounds very high to me any thoughts?