 FACT: While drilling the crew are using what appears to be 2 or 3  inch pipe and approximately a 6 inch bit, yet they drill a hole at  least 18 inches in diameter. The size of pipe used could not support  drilling a hole this large.