“Is this a replacement for an el-713 connector? (The Ching Cheng el-713 cord doesn't seem to be available in the US any more.)”