Reply to thread

Room service isn't included in the $10 per person per day service charge.

So, yes you should tip for room service.

And yes, you can tip anyone extra if you feel they provided better than normal service.