The situation you described is not a standard type of transaction like table service at a restaurant. If I'm the guy behind the machine and not an owner/stringer of a shop, any gratuity would be a nice bonus for that extra quick, reliable turnaround. A better and more appreciated gesture might be to match the service fee from time to time, obviously less frequently to make it more impactful while still not jacking your cost up too badly.
When stringing at pro events, I have often received a little bonus but the best extras I received were from guys leaving for the next tour stop who would give a few sticks to do on their way out of town. That's a win/win for them and me!
Despite all of life's bumps and bruises, I'm still committed to making this world better one smile, one laugh at a time, every day!