It’s not a gratuity, but restaurants like this often don’t expect tips either. At least in my area.