You will find server settings under the server settings list entry.

Note that gmail does not offer all email for download for pop accounts. If they place it in important or a number of other non Inbox folders, then a POP download will not include the email. I turned all that auto allocation stuff in google off to end my issues with it.

Thanks, Matt. I doubt if this will solve the problem (hard to say, since it is intermittent). It affects mail in my Inbox. Anyhow, you did inspire me to look at my gmail settings, and I turned off POP altogether. We'll see what happens.