bucket repairs mining