10. Also for such a big hotel the pool size is a bit disappointing and when the hotel is full really only usable as a 'plunge pool 'What also is a very bad habit in the Miami area is to just include 18% tip on everything independently of the service .