Google runs the .dev gTLD but isn’t the only registrar. Google lists the many other .dev registrars here: https://www.registry.google/register-a-domain/
Presumably you can freely move your .dev domains between those registrars?
Presumably you can freely move your .dev domains between those registrars?
Registries (like Google for .dev, Verisign for .com/.net) set the pricing for domains under their TLDs. Registrars like Gandi add just a very slim markup.