A pipe wrench is a plumber's tool