Lettuce is packaged four bags to a box. If there are 3.5 boxes of lettuce in the cooler, how many bags of lettuce would there be?