In my opinion - from the average user's sight - the "push" option is a complement of the (scheduled) sync functionality:
1. enabling sync
2. in addition to that the user can activate push or not
So, the other way around, when the user want to "turn off" (any) "automatic" sync, I assume he also want no push anymore.
That said, indeed I support your suggestion(s), bert003 + StR