There are 2 big stumps where we want to put the pool. What is the best way to remove them quickly? If we do have them removed, will there be any problems with the ground sinking after putting the pool up? The ground will have to be leveled so I'm not sure how many roots will be removed. If they aren't removed, wouldn't they rot and cause the ground to sink?