If there is a gratuity already on there - then that is that, though I sometimes add an extra buck or 2 if they have been super helpful.

OTOH, many hotels add a 10% service charge for room service; I do not treat this as a gratuity.