Actually do. Since he's using getmail, its making a copy to his local system. It just happens to be able to do that over IMAP. You are better off doing this than doing the same with POP because Gmail's POP deletes mails as you read them, which is non-standard. You could lose emails if there are network, disk, or other errors.