> And to be clear, premium prices are set at the registry (i.e. wholesale) level, not at the registrar (i.e. retail) level. That means that these names are premium at all registrars. Premium pricing is not unique to Google (either the registry or registrar); it's used by nearly all new gTLDs.

Does that money go to the registrar?