Wrong. The redline is around 10k RPM actually. And it's a 1.300cc wankel engine, so it's not really helpful to compare it to what we have in LFS.
EDIT: Just checked a video of a stock RX8 racing at Laguna Seca... the redline is at 9.000 RPM in fact.
Tristan: I'm no car expert, but it's pretty torqueless not only because it's understressed, but also because of the lack of displacement I'd say, no? You could tweak the engine a lot and it would still fall short of torque compared to other cars on it's HP range, I reckon.