Had the same issue a month ago at 80,000 miles, about the same price for the repair at the dealership.