No, this is wrong.
And the reverse is also wrong. A user can chose by principle too and scarifies cost if he has to overpay to attract miners to that chain. Does that mean its "not really a choice"? No, its exactly what choice means.
Also even at zero user if the token has value mining can be profitable.
But anyway these edge-cases are irrelevant. There is and will never be a situation where all miners and all user chose a different chain. Just the fact that some miners are users at the same time makes it impossible. The only thing important is that power is shared between the 2 groups and its a constant fight because of different interests. Even without miners when its fully PoS there will still be misaligned interests between the parties (users, hardware operators, stakes etc.)
Its an inherent flaw in the system because it relies on incentives which one party wants to maximize.