That's fair then (though I haven't hit it because I have all my mail downloaded). There's other bits in Mail that are flaky with Gmail compared to standard IMAP mail providers, though.