And probably even more if they made Google the only option, assuming it was otherwise perfect for most users.