Lessons Learned During Use of Hot Taps For In-Service Natural Gas Pipeline Connections