https://support.google.com/domains/answer/6010092#registry
I just checked my Google Domains account, and my .dev domain renews for "$180 plus tax".
The pricing is entirely opaque and you can't find it listed anywhere, but I did find a comment from HN last year that listed several examples:
https://news.ycombinator.com/item?id=19201073
Some names cost even more than the $200 I initially cited!
