The 7th comes back if he starts 4 games or more and based on his performances here it’s very unlikely anyone would have paid more than what the Vikings did, trades can’t be negotiated with hindsight only the information available at the time.