Google Apps for Education is much cheaper, and they know something about search. I showed just regular Google Apps to a few people in academia, and even the free version would be better than what they are doing. There is the annoyingly low file size limit though, that made uploading large data sets quite painful.