Stock redline on an F40 is 7000rpm