 You know, I kind of dig the Jaguars going down to Miami. The who, Rich? The Jaguars going down to Miami. And we'll see. Does Tua get paid like Trevor? Trevor's been paid. What will Tua be paid like? And then we pay attention to what the Dolphins can do defensively with, I'm assuming, some of their best players still not healthy.