tools used to repair cars in a shop