Ah, so this is why our email addresses are @gmail.com and not @google.com.

I was always wondering about that; it seemed to me that it would have been free advertising to Google if their users had to write and say @google.com all the time.