TIPPING IS NOT ENCOURAGED, HOWEVER, PERSONAL DISCRETION SHOULD BE USED. A GRATUITY OF 10 PER CENT IS ADEQUATE. EXTRA TIPPING IS UNNECESSARY.