Hi James,10% would be a lot but a 5%-7% tip would seem in line don't you think,as long as the service was better than average.People in the service industry generally don't make a lot of money so any tip is usually appreciated,though surly waiters can stuff there tip .

__________________
Democracy dies in darkness, you have to kick at the darkness till it bleeds daylight