http://www.mudlists.com/deciding-when-leaking-pipe-repair/