Gmailのプッシュ問題は、公式アプリで解消してるんで、個別な問題じゃないかな。Gmailに限らず音がならないことがある、逆にマナーでもなることがある問題は時々きくし、体験もするが、再現とれないことが多くよくわからん。