 The Tua contract is interesting because, and it sucks that we have to talk about it, but the concussion thing is real. So if a guy was completely healthy and putting up the numbers that Tua has, you make him the highest paid player in the history of the NFL. His contract's due when you move on. And I was talking earlier, BT, that the Chiefs, the best thing they did with Mahomes' deal was got 10 years out of it. That's crazy that he signed up for a decade. Would the Dolphins even be interested in that type of a long-term contract with Tua?