Shouldn’t have been much of a loss. Tons and tons and tons of domain registrars exist, so it’s not an inherently expensive business.