Food prices have gone up since increase in minimum wage last year, and default tip option is 18% at majority of the places. Oh and that 18% counts the 13% tax, so you are tipping more than 18%.
The end result is of course higher prices, but the sticker shock is lower on the menu.