My mistake, the redline seems to have grown in my memory. Redline appears to have been 8,200, with a fuel cutoff somewhere south of 9,000, which was very easy to hit in 1st ...