BS. I hit mine at 6250. Redline per the guage on a '94/95 Cobra is 5800, fuel shutoff IS 6250 on J4J1, T4M0, and U4P0 computers. This has been proven fairly well, ask any TwEECer user what their stock rev limit scalar was (not what it is now lol).
The only difference in redline on the Cobra and GT motor is that the GT has a yellow line starting a few hundred RPM before 5800 before it turns red, and the Cobra goes straight red at 5800.
Ford never would have let you rev a 5.0 to 7000, there's no reason to anyway. Even with the GT40 heads and Cobra intake it falls on its nose before 6000. I doubt the bolt-down rockers would like that very much.