Does PG&E have emergency equipment that allows for the automatic shutdown of gas pipes?