Originally Posted by Often1

It is all about local custom. In the specific case at hand, I would tip the people carting the bags to the front desk and delivering it to the room. While I'm not sure I'd call that particular place 5*, it's worth noting that at places like that, once the staff flag you as "cheap" the service levels can change appreciably for the worse.