Someone told me you can use dry ice to freeze a leaking pipe if there is no shut off so that you can then make repairs. They added that there is something you can buy that does the same thing but uses gas to freeze the pipe. I'd never heard of this. Can someone expand on it plz?