Personally, I have never tipped a PC agent or anybody else except the bar tender. I should note that I have also never noticed anybody else tipping the agents or cleaning crew.

If I am wrong in this, I would be curious also to see what others do or have done in the past.