How much to tip bellman in Dubai

How much to tip bellman in Dubai?

AED 5-20 is ideal to tip in Dubai up to 4-star hotels. AED 10 is ideal.

5-star hotels – you can tip any amount above AED 10 per room, AED 20 is ideal if it’s normal 2-3 ps luggage of a couple.

Am not sure how much to tip in Burj Al Arab and Atlantis?