I did a search. Our own search engine is disabled, but if you click on "advanced search" and then use the google box, it works like a charm. It's handy even to add someone's username or any other keywords if you're looking for a specific thread.