A 7th rounder is worth almost nothing and has a minuscule chance of making an impact. Noway would I of given up the dwindling talent at DE left at the end of the 3rd just to pick up an extra 7th.
I know you are the type that would trade a 2nd rounder for three 5ths though because you love quantity. No use arguing about it. We've had 6 picks in the first three rounds of this draft and will come out of the draft with seven players. Giving up talent to scrape out an extra 6th or 7th makes no sense. You aren't going to have 8 draft picks make the roster anyway.