This is the direction I was thinking in. Even if the campaign's a dud, you have the opportunity to reach out to other players
who might have tastes more like yours. If you're lucky several of them feel the same as you and are biting their tongues
right now.
It isn't important to stage a mutiny or 'defeat' the current DM in any way; just try to find people with whom you can get
a better campaign rolling.