One thing to consider, once they are working on it to fix the leak, they probably had to remove the belt, and at least spend time cleaning it. Even if it wasnt at the end of its useful life, replacing it now is basically free as regards the labor for the belt itself. Having the old one for an...