You're right, but it is a shame they couldn't take the domain back....

[Off-Topic] Here at Brazil we have many juridical problems, but at least for Internet Domains politicians created a law that allow for a company take back the related domain if it is proved that the person who registered is not even using it and the purpose was just to sell it. Sure it might take years to conclude the process... but that's another story...[/Off-Topic]