I was a waiter at a restaurant that had a buffet two nights a week. Even though tips per person during the buffet were less, I made more money in tips on buffet nights because I served a lot more customers! (it doesn't take that long to find you a seat and serve drinks).

10% for a buffet sounds good.