I have just completed a 13 inch in diameter hole that is 12 feet deep. I have a 13 inch in diameter section of pvc pipe to coerce into its new home, but I am wondering if I should drill some holes in it first. There is two feet of gravel on the bottom of this beautiful hole. Thanks for your help and expertise!