When having a pool installed, did your installer tamp the ground? One shops said they do, and one shop said they don't. I would think it would be a good idea to do so, but wanted people's opinions. (Tamping: packing down the dirt, before installing the pool.)