The transition tag would pay Vernon $12.7 million, per Albert Breer of NFL.com.
It's a tricky situation for the Dolphins as it pertains to trying to retain Vernon. Spotrac noted the franchise is already spending more cap space on defensive tackles and defensive ends than any other position without taking Vernon into account. The contracts of Ndamukong Suh, Cameron Wake and Dion Jordan are the main reasons why.
Signing the 25-year-old Miami native to a long-term extension would further increase that burden.
No Combine, No Cry: Bob Marley's Grandson Signs NFL Contract with Redskins
Insider Buzz: Several NFL Coaches 'Annoyed' Over Changes to Overtime
Giants DL Damon Attempts to Eat 72-oz Steak
Insider Buzz: Dolphins Expect Big Role for Rookie DE
Insider Buzz: Bills Expanding GM Search
Insider Buzz: Bengals Taking 'Serious Heat' for Mixon Pick
Winners and Losers of the 2017 NFL Draft
Winners and Losers of the 2017 NFL Draft Day 2
Raekwon McMillan NFL Draft 2017: Scouting Report, Grade for Dolphins Rookie
Insider Buzz: Jaguars May Not Use Option on Bortles
Grading the Trubisky Pick
Former Pitt RB Beat Cancer, Now Sets Sights on NFL
What Are the Hottest Match Ups of the 2017 NFL Season?
What Changed for Tony Romo on Day 1 of NFL Free Agency?
What Will It Take for Tony Romo to Land in Denver?
Tony Romo Says Goodbye to Cowboys
Deal Alert: Grading Alshon Jeffery to Philadelphia Eagles Free Agent Signing
Deal Alert: Grading DeSean Jackson to Tampa Bay Buccaneers Free Agent Signing
There are plenty of teams that could use an edge-rusher who's racked up 29 sacks across 64 career games, and it's likely Vernon will see increased interest in his services. At that point, the Dolphins will have to decide whether Vernon is worth the cost given their cap issues.