http://domai.nr/ too is an instant domains lookup, and is pretty good at it.