Thanks, guys, for the excellent info, as always. A few responses:
<font color=blue>Usually its best to hand expose all lines when doing hoe work. They can be located and marked.</font color=blue> The line I hit had been marked, but the marks had been obliterated by traffic. We did hand-dig the ones we thought were close, and in fact hand-dug the correct one, but upon not finding any evidence of a line, and since we thought it was about 5 feet over, I finished it with the backhoe - big mistake...
<font color=blue>The plastic lines have metal tracers with them.</font color=blue> I've now invested in a <A target="_blank" HREF=http://www.pollardwater.com/emarket/Pages/P881%208840%20&%208850%20Locators.asp>pipe and cable locator</A> from Pollard Water, so that should help reduce the possibility of the exact same thing recurring.
<font color=blue>Diesel equipement working around hydrocarbons should be equiped with a positive air shutoff so the engine can't run away or ignite the leak. In many places this is a requirement when using diesel engines.</font color=blue> I did not realize this, and am glad to know it. Any ideas for sources of positive air shutoffs, and/or cost? I think investing in one would be a good idea, if they're not prohibitively expensive.
<font color=blue>Plastic pipe under low pressure can be bent back on itself to seal off the ends.</font color=blue> The problem with this method is that you have to have enough pipe exposed, and I'm not at all for digging around an active leak. I found, and invested in (I'm getting tired of all this "investing"...), a <A target="_blank" HREF=http://www.pollardwater.com/emarket/pages/p64403%20tc1%20clamp.asp>Timberline Squeeze-Off tool</A>, which I also got from Pollard Water, that works with all plastic lines up to 1" diameter (I also got the ground rod option, of course) - any bigger than that, and I'm not messing with it anyway...
<font color=blue>Its best to evacuate the area when there is a gas leak and let the utility company take over.</font color=blue> In principle, I definitely agree. However, this is the second gas line I've hit in 5 years, and the gas company took longer than 45 minutes to get there in each case. The first time, we found the cutoff valve long before they got there. This last time, though, there wasn't a cutoff valve to be found anywhere on the line. When the gas company got there, I asked them about it and they said there wasn't one. I thought they were required by law, but apparently not. At any rate, I no longer want to be at the mercy of an entity that can't be relied upon, either to locate the lines in the first place, or to shut them off if the "ounce of prevention" fails. It may just be my cynicism poking through, but I don't think the "One-call" folks are as meticulous about finding the utilities as I would be, since they're not in the "hot-seat" if they make a mistake. And I know from experience that the gas companies either aren't in a big hurry to get there, or aren't set up to deal with the situation in a timely fashion. I'm not saying they have a problem they can solve, but it's a problem I think I can at least minimize, if not solve completely. I don't have a "let's do something, even if it's wrong" mentality, but I don't know how many more of this sort of "hit" my nerves will take - much less the strain of hearing all that gas escape while the gas folks take an hour to show up... Something's got to be done - preferably not hitting any more - but if I do, I'd sure like to be able to shut it down in a few seconds myself.