Craftsman's double open end metric wrenches....is the 30mm x 32mm the largest wrench Craftsman produced?