large mixed lot of various punches and chisels