Ask the person he is sharing with what format they want them in, then use any mail client that can connect to Gmail to download them, then convert to the desired format from there.