I did a search and I couldn't find an answer so I'm posting this. I'm looking to fill in my large size Craftsman double box wrench collection and I can't find a 1-3/16" or a 1-3/8" size. Does anyone know if Craftsman ever made those sizes in a standard 12 point, raised panel style double box wrench?