I did use that site. It is very confusing.
Near the bottom of the link it shows what looks to be the yearly cap penalty. I did take the total of the last 4 years on that list for the remaining 4 years, assuming he retires now, or before the start of this coming season.
I'm just a CPA ... math is not my stength ... lol!!
Also, it's hard to follow what is said in that article. Either way ... 50M, or 25M it's a big pile of dead cap.