[icebraining]

Besides POP and IMAP, already mentioned, the page for bulk downloading your data from Google is https://takeout.google.com/, which includes Gmail, of course.

She probably still can't open the file in a typical Windows box, since it doesn't come with a decent email application, but MBOX is as standard as it comes.