Extract: ".vegas zone files show just over 12,000 names currently. That number will include the registry-reserved ones. According to DomainTools, Dot Vegas owns about 2,200 names across all TLDs".
Source: http://domainincite.com/17926-dot-vegas-sells-2m-of-premiums.
Domainers register their domain names with Uniregistry.