I'm not up to date on penalties for holding out, but does it matter that the vast majority of his compensation for 2025 is roster bonus so he would not forfeit it if he did hold out? I'm curious what leverage he would have, if any, should he really want out that bad. I do agree with your take though. I think he would rather move on, but wouldn't refuse to play. He will be professional.