When we went in 2001, We were under the impression that the $10 pp charge was to cover the tip. As we were leaving, our waiter stopped us at the door at told us that explicitly that the cover charge goes to the restaurant and we should tip him in addition. We gladly paid him, but it was an...