Fixing a leaky pipe with a tool