Does anyone know anything about Artcraft wrenches. My father did radio & TV repair from around 1950 until around 1970. He had a small set of Artcraft DOE wrenches. 4 wrenches in the set, 3/8 - 5/16, 11/32 - 9/32, 1/4 - 15/64 and 7/32 - 13/ 64. Only marks are the size and ARTCRAFT in the center section of each wrench. They range from 3 5/8 to 2 7/8 in length.