And if he wanted to play for someone else, we'd have that familiar Favre/Rodgers drama of "GB owns the rights to your contract, even if you retire," so we'd decide if it's worth keeping him for $20M or getting some draft/player comp for him.