A friend is looking for double open ended wrenches marked with 'x' in circle on one side and other side, the size of wrench in two ends. Does anyone have any?