Searching in tools/gator