I wouldn't tip him you did already. I also don't think they expect tips. They get a salary it's not like waitresses who really solely on tips. I would only do it again if it was a really difficult job for him and he went above and beyond