These days, for users of Microsoft Internet Explorer, the best search tool for both the web and any site seems to me to be the Google Toolbar.  It's an easy download and install, and it does a quick, accurate search of this site without duplicate hits.  Try it, you'll like it.

allen

Otherwise, here is a local search of this site.