Did a quick search but couldn't find this anywhere. The diamond elite hot breakfast certificate says "inclusive of tax and 20% gratuity". Does anyone know if the staff actually gets the gratuity, or are we still expected to leave a cash tip? Thanks!