Title: A users' guide to the AV MINE service