Tim, is the 20% tip mentioned on the menu? Just curious, as the added service charge isn't a deal breaker for us, since we know to watch for it.