Oops, there is a search tool.

From:	John Crowe <johnxcrowe@...>
Date:	Monday, June 25, 2007, 20:51

Oops, there is a search tool for the archives (contrary to my previous post).