All's well that ends well. The final bill at time of return came in under the 87 Euro I was hoping for. Either a mistake was made earlier, or Avis' computers are not very good estimators...