Google just announced that you can setup Gmail with an Exchange client. So those who want real push email with Gmail, this is how to set it up:
1) Open up Email > Preferences & Accounts
2) Tap Add An Account
3) Tap the menu and select Manual Setup
4) Change the mail type to Exchange (EAS)
5) Enter your Gmail email address
6) Enter the incoming server name as
https://m.google.com
7) Enter google for the domain (though I don't think it's necessary)
8) Enter your full email address for the username
9) Enter your password
10) Tap Sign In
The Pre will start to sync and in a few seconds, it'll show up as an Exchange account. You can go back to your accounts list for it and change it Gmail.
I just tried it on my Pre and push works like a charm like my real Exchange account!
Enjoy!
I'll post screen shots if anyone wants them
