Here's a search tool for you to try - it can only see the pages Google has built into its index, so it may not be totally up to date, but it should allow you to do fairly complicated searches. And I need to improve both the layout and the colours, but I do call it beta.
