what tools are included in watch repair kit? is there a tool to punch a hole in leather strap to create new notch ?