I'd like to keep all three and put Big Vern at DE on some passing downs. It's a huge advantage to have 3 high level DTs. From what I see, if we resign Butler, there would only be a 2 year overlap where we'd be paying all three big money. Short's contract ends at 32 years old. If we resign him, I doubt it would be for that much.
Something to consider is that we don't have many young players on the roster who will command a big pay day. It's not like having Cam, Luke, KK, and Norman who could each legitimate get top 5 at their position deals. Out of the last 4 draft classes, only KB, Trai, Shaq, Butler, and Bradberry look like good bets to get a good to great second contract.