He just opted into his 27 million dollar option. Think Miami would want to get out of it before free agency? I’d rather have his salary for a season than Willie on an extension.