I think that a $20 tip will really improve the mechanic's day! Or even if you have a sandwich ready for lunch? Perhaps a couple of soda's? It is a seasonal campsite, so it is likely that the mechanic can not go to the local hamburger joint in a couple of minutes at break time or lunch.
It was not the mechanic's fault that the part failed, he is just making the situation better, and correcting the problem.
Have a great day, and I hope that everything works out well, the mechanic does not need to return for something like a missing dowel pin or something. . .
Fred.
