10% seems like a lot on the whole bill. Verify with the hotel desk to be sure who gets what.
Tipping is hard, my wife and I always...discuss appropriate amounts,[I'm too generous--I grew up in the business so I tip early and tip often]
I give guides $5-10 U.S. depending on duration and quality of tour. or maybe a good cigar
I buy a roll of the Sacgawea gold dollars they make nice bartender tips=--or to the local vendors.
The porters in the airport only carry your bags about 50 feet, so, if you can carry them yourself, do so.