As far as I know, the top spec Type R DC5 Integra was a K20 (same as the EP3 Civic Type R) which is 8400. The older DC2 Integra Type R was 8700rpm. I forget the engine.
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 ...