Maximum 3000 contact export limit?

Maximum 3000 contact export limit?

I have repeatedly tried to export my contacts. Every time it has only exported 3000 (out of a total of around 5000). This does not seem to be a problem with Excel, but what is exported.

I have found no reference to any export limitations in any of the documentation, and as far as I can see this is not a difference between Free and Professional editions (I have Free now, though would be happy to add a user to pay for it if this remedied this problem). However I cannot use Zoho CRM if it doesn't allow export, so will have to go back to scratch in my search for a new CRM system.

Any suggestions, please?