I already pay over 100$ a month for subscriptions I rarely use. If we get alternative to Google that is simply on par or slightly better, 10$ is nobrainer just for the de-googlification. For something significantly better - like option of paying some extra cash for more processing power - 20$.