I have incorporated Google search into the site. Not only will it let you search using the strings you asked for, but it will also take away some of the strain off the servers for in house searches. Give it a try, it is both available in Advanced Search and the navbar search box.