That was as deep as one could look into the earth with the available geological tools--and also about as far into the ground as anyone knew how to drill a well and push pipe into the hole.
In true mini-golf fashion, the other easier option at the volcano theme hole will let players hit towards a mound from which the ball will be whisked nearer the hole down a pipe.
We know with some certainty that workers were in the final stages of setting the final sections of pipe (production liner) in the hole and cementing it in place.