Tipping the porters is not mandatory, but if you require their assistance, offering a tip of around RD$50-RD$100 is generally fair.