A woodworking, engineering, and workshop auction has earned nearly £20,000 in sales. Mitchell's auction house held the sale last week, featuring more than 700 lots of both modern and vintage tools.