The manual states "25 Series" for the DINSE connectors. Are these the standard SK25 or the Mini version SKM25? Does anyone know if these two DINSE connectors compatible?