Somebody has just paid out $2,500 for the domain name domaintools.co, according to Sedo.
I guess not even the most savvy domain name industry companies are immune to typosquatting.
Given that the price is just below what you might expect to pay for a cheap UDRP complaint, but more than the domain is probably worth alone, I assume the buyer is DomainTools itself.
According to DomainTools (the historical Whois service, not the company), domaintools.co has been in the hands of a Chinese registrant since .co went live in July 2010.
The domain, which is parked, is currently in escrow.