What's the redline??? Found this factory video that hopefully answers the question... Looks like 8200 :)...