Do any of you tip your mechanic at Christmas time? And if so, about how
much is customary?

Thanks.