Originally Posted by
HUB Flyer
I would tip whomever is providing additional service.
Depends on your definition of "additional," of course. If additional means beyond their job responsibilities, then these people do not get tipped.
E.g., the cart driver's job is to drive the cart. Not advocating abondoning tipping, just observing.