10 ft sounds better, 13 to 15 ft would be great(even if its only a ten ft wide hole at the bottom). I have 12 ft average with a 18 ft hole the size of 2 trucks parked side by side in my .87 ac pond. Maybe its overkill but i dont think so.

I subscribe!