Pinpointing a gas leak isn’t complicated—drill a hole through the pavement, drive the rod through the soil, insert a tester and move to the next spot until you detect the highest level of gas. But determining exactly how you’re going to dig the hole—or, more precisely, with what—can be more complicated. Wrapped into the decision is everything from efficiency to response times to workers’ compensation.