For anyone using Platinum, does the service charge include gratuity or did you tip on top of it? I never bothered to ask what the service charge covers.. so the thread below about Maggie's got me thinking. I booked an all-inclusive package so the tax and "service charge" were included.