Wstar, I seem to remember getting over 7500 with the clutch in... my car's in the shop otherwise I'd go test my theory - I'm going off memory... even if the rev limiter were keeping the engine in check, there's no question in my mind that a mis-timed clutch is going to result in more time at the upper end of the rev range...
I'm going to stop harping on this point, because I know ppl will get tired of it... but someday I'm sure I'll be vindicated !