How much mixed green for salad for 40 people?

I'm catering for a wedding of 40 and a recipe told me to get 10 pounds of mixed green to feed 40 people but I feel like that's way too much. The salad is only a side dish, not the main meal.