I'm sure it would be appreciated but I don't believe it's common or expected to tip the attendants. Certainly up to you though.