You can find the Spec C Type RA under special versions. The two versions refers to engines, not turbos, fixed, thanks.
I compare the "regular" JDM Sti under "Differences V7-V9". It is there that the Vf30 is mentioned, under other differences. I will clarify that this refers to run-of-the-mill JDM Sti.
As far as the 8250 RPM limit, the ROM does not support that for any JDM Sti, V7-V10.
The limit in ROM for all these cars is at 8000 RPM.
Now, while the limitator kicks in, it is possible that a log could show slightly over 8000, however, what shows is not part of the RPM span that is intended for use, that is not sustained RPM.
Unless you have evidence to the contrary, please correct your information, the limit is 8000.