Most restaurants around here the tip goes to a lot more than just the servers. I've never worked food service, but have a lot of friends and family that do. The majority of them split tips with the crew.
20% minimum from me unless the service was trash. Counter service may be slightly less...