We are staying in a unit at a complex of 8 1 bedroom units that are serviced by several people. What would the appropriate tip be at the end of our trip? Ten percent of accommodation cost? Please also note that our cost includes service charge, so tip would be above this. Thanks.