Hello Just stumbled upon this specialized search engine. Might be more useful than Google, I don't know yet. http://www.koders.com/ What do you think? Mike