On the topic of search engines: I would highly recommend giving @kagi.com a try. It's a paid search engine, and by God it's worth it.