Repairing a Leaky Pipe in the Rain