Yes, Connexion client's batch export function will not take more than 10,000 records. We recommend that you run exports in batches of 500 or less.
Users wanting to perform a large batch export should consider creating a Query collection and getting MARC records delivered for it instead.