Since that hole was their only source of air, they didn't want to risk clogging it with something, not to mention they needed every inch to keep the air pressure up. They didn't want to risk drilling another small hole because they didn't want to weaken the rock roof anymore than it already was.
Sounds like they did everything correctly. AMEN.