Wouldn't this site be 10 X's better if they added Google Mini?
Google Mini FAQ's
For 2000 bucks this site could have a kick ass search feature. The only problem is that it would only index 100,000 posts. I'm not sure how many posts a year there are on this site. P.S. I don't work for Google