Jack Devitt

• Ohio Toolmakers and Their Tools