To clarify, they paid a premium price for the first year. Had they been paying in USD it would be the same initial price as the renewal price, but apparently they're paying in Turkish lira so exchange rate changes come into play. What I know for sure is that, from the registry side, the wholesale USD-denominated premium price has remained consistent over the length of the registration.