Yeah good call on the 7.2K RPM. It does appear that's what they rev it out to. Also notice where the peak power is in the below translated numbers from the following screenshot (hint: it's materially beyond the factory cut-off):
7,200 RPM redline
464hp @ 7,070rpm
360ft lb torque @ 4,630rpm...