Just went back through all of our receipts from our Christmas trip. Lots of 15% 'Service Fee' adds, but we were a party of 6-8 people so no real surprise there and we usually tipped on top of that anyway; Didn't see anything listed as Tax.

Also-Noticed on a few occasions where there was a line item for rounding-Rounded up to the nearest whole dollar; I suppose that makes life easier if paying with cash.