Tipping is a personal thing. Tip what you'd expect if you were in their shoes.