Downloading custom folder from gmail

Hi. 

I'm new to getmail, but I used fetchmail with procmail and mutt under debian for many years. 

Here's my question: Is there a way of downloading a specific custom folder from a gmail account? 

I've tried 

[retriever]
type = SimpleIMAPSSLRetriever
server = imap.gmail.com
mailboxes = ("Inbox", "[Gmail]/0000temp") 
username = bloggs
password = ******

and

[retriever]
type = SimpleIMAPSSLRetriever
server = imap.gmail.com
mailboxes = ("Inbox", "Inbox.0000temp") 
username = bloggs
password = ******

and 

[retriever]
type = SimpleIMAPSSLRetriever
server = imap.gmail.com
mailboxes = ("Inbox", "0000temp") 
username = bloggs
password = ******

but all give 

mailbox [Gmail]/0000temp not selectable ([Gmail]/0000temp) - verify the mailbox exists and you have sufficient permissions

or similar. 

I can download the Inbox without trouble. 

Under fetchmail I just did --folder 0000temp but I can't see any similar option for getmail. 

I use a university gmail account and download it to both home and office; I do work in both places. I need to keep track of what's been downloaded in the place I'm not at, and I use a `home' folder (named after my street address, say 6Station) and an `office' folder (named after my room number, say E17). 

Any help or pointers will be appreciated ...

Alec (LBC)