Con las dos opciones activadas he probado a ver si me llegaban al momento y nada...
La versión de gmail que tengo no sé cual será, pero se supone que se actualizan solas vía market, ¿no?
El caso es que el propio gmail no da ninguna opción a elegir si quieres push o actualización cada "x" tiempo como da la apk de hotmail....