I eventually ended up using
IMAPSync to do the job. It ostensibly costs €60 but the developer is flexible. As I only wanted it for a one off transfer, he was very helpful.
There's also a free online version for up to 300MB
I can certainly recommend it.