Ooo glad to see this follow up. I remember reading the original and knowing that probably wasn't right. I worked for a registry for many years and premium domain names were never part of GA for the normal price. We also never moved a GA name to premium later, but I can't speak for other registries.