Do you get tired of checkdomain.com or whois.net or whois.sc timing out or taking a long time to load? Check out this EXTREMELY QUICK Ajax-based domain search tool:
http://instantdomainsearch.com/ Definitely quick, useful, and convenient. Even has pricing from different vendors for the domain.