I have added a Google search box to our Home Page. This will give you added functionality in doing searches on our website. Since this is a free service, offered by Google, we will have to put up with seeing a few ads!
I think it is worth the tradeoff. Another reason for this addition is that the previous Pico Search engine only allows a certain number of web pages to be indexed, and we have exceeded that limit. In order for it to index our complete website, we would have to pay a yearly fee. I think the switch to Google is a better way to go. If anyone has objections to this, please let me know.