Tonight I saw someone tip the concierge in the lounge. The concierge didn't do anything special - he was just friendly and cleaned up the plates and glasses.

I've never thought of tipping for "routine" service. Does anyone else tip for the routine services?