Again, no. The staff are paid a decent wage, so no need to tip. I've never tipped, and it has not impacted the service level in any way even when you see the same person again.