That's a good question I'm not sure if they did, I don't think so because they didn't mention it. They were originally going to throw a new belt on but once they found the issue I don't think they wanted to spend the time in getting into it to replace it. Hopefully it is fine. How many miles or kilometers are they good for?