+1 I used domai.nr as well, but less frequently than the other two mentioned. Domai.nr is great for finding shorter names and creative variations of longer ones.