fiogf49gjkf0dTIPPING IS NOT ENCOURAGED, THOUGH WAITERS AND PORTERS MAY EXPECT TO BE TIPPED. A GRATUITY OF 10 PER CENT IS ADEQUATE FOR A GOOD SERVICE.