I'm down with that. I still love Allen but I seem to be one of the few people in the world who would take him at 14. Trading back or landing Star seems to be out best bet right now.
I'd be happy with both of those. I think Star is worth an extra mid-round pick, and I think you could get Allen (who I like) while moving back a bit. Gettleman has worked a trade phone, so I'm sure he's no stranger to a deal.