HOWTO: rename a mail box

Since some women decide to get married and change their name, I need to rename their imap mail boxes. Is there a procedure to accomplish this painlessly? TIA.