Although it is not mandatory, it is always good to tip the people who do all these tasks for you. It is a sign of goodwill and helps the locals.