Package our first, fourth and seventh to go from #32 to #20? (if he's there at 20)

I would do it. In hindsight, we really are losing one draft pick and it's a Seventh rounder. Comp pick was a bonus and it could give us options to move.