I've asked twice; this was before I looked up the T&C. In both cases, the server told me they were covered by the property for Diamonds.

To those who tip anyway, I'm curious if you tip when there is a voucher that clearly states taxes and gratuity are included. If the answer is yes, then do you also tip double (say, 40% instead of 20%) when you're at a regular restaurant. Because that is exactly the same thing in principle.