At WDW any auto-grat (TIW/AP/CM/DVC/party of 6) goes directly to the servers check. If you pay cash, they have to pay it back to WDW at the end of shift. If you pay less, they pay whatever it should have been so if you decided to deduct any monies due from your check, know that it did indeed...