had a question come up recently when a neighbor asked me a question about cutting a gas pipe. do you need to be concern about the residual gas in the pipe after you shut the gas off? and is it safer to use a manual saw over a electrical one? ( I probably already know the answer to the 2nd question). thanks