Do you tip a porter when...?

A car company had a recall and my boss had to leave his car in the shop, and they sent him with a porter to take him and a woman with the same problem to their jobs. Should he have tipped the porter? If so how much?