How long roughly does it take a torn auxiliary belt in your car to fix?