Estava dando uma olhada nos preços, e o mais barato foi por 600 e poucos dólares.

Só multiplique isso pela média de 5.5 e terá o valor em reais.

E isso, claro, pegando de alguém que consiga da fonte. Aqui no Brasil mesmo eu não me lembro de ter chegado a ver algum modelo Pixel, mas não chegaria mais barato do que 3~4k, ainda mais com esse tarifaço.

Já uso a Lineage OS onde consigo, é uma pena que a Graphene reduziu tanto os dispositivos, mas em breve terão de reampliar por conta dessa maldita política de bloquear o desbloqueio de bootloader.