I have a question about tipping? I have heard that the servers don't get paid hardly anything but base pay of <$3/hr, and really only make money on tips? If that is true, shouldn't we all be tipping 18 -20% if they are doing a good job? They do their part to make our trip magical. Also, what do you tip a concierge when they print out your dining and get info from them?