His 2019 option is almost $11 million, so he'd be a one year rental. He's still making peanuts right now and the Dolphins know they could land a decent compensatory pick if they lose him in 2019, so I'm guessing it would take more than people realize for the 'Phins to let him go.