You're right, it doesn't belong here. There's a massive thread in TravelBuzz for tipping.
But, since you ask:
Outside the US, do not tip in any lounge. It's tacky. It would be good if tipping in US lounges was stopped as well. Better to pay the bartender a few more buck an hour.