That is embarrassingly low... but if that is what both sides agreed to.. it is what it is....
Bunch of 20somethings were probably offered better pensions but less pay... and you know what they almost certainly took.
Also keep in mind the working life span of a typical NFL player is short... typically. The average career over all positions is just 2.5 years.
FYI-it looks like the pension begins at age 55