This particular buffet is usually very busy and even though, we've almost always had good service. The servers we've had here have been really good about bringing and refilling drinks and bringing any extras you may not have been able to get at the buffet. I always tip 20% for "good" service anywhere, buffet or not.
All of the WDW buffets have servers as opposed to cafeteria style eating.