@dash, thank you very much for your help.
In fact there is only one domain with three email addresses to be done. I can very easily copy over the Maildir folders for each of the three.
But I'm wondering if I must then run mchk? I think it will do whatever it does on every domain.