Good catch. Something has definitely changed to have 80 mph at 4k rpm. I entered the known 1st and second gen gear ratios into an
online gearing calculator and found the following:
At 80 mph a 1st gen is turning 4367 rpm.
The only difference between a 1st gen and second gen gearing is in the final drive (2.696 vs 2.773 on 1st gen), so a second gen would be turning 4246 rpm.
If the only change on the 2013 is being made in the gear box, to get the quoted 4000 rpm at 80mph would mean that the 5th gear would need to have been changed from a 0.929 overdrive ratio up to around a 0.875. That is a very significant difference.