You're insane if you don't think this guy is getting around 10 per in the open market. Our team would have the option to either pay his current salary at 12 mil per year, release him, or give him a new contract he is willing to sign. I guarantee you he isn't signing for no 5 mil a year.
Saying 3rd contract is disingenuous because he would still be barely into his second contract when signing a new one. This guy is getting paid. Your wishful thinking won't change that.