7000 RPM's? My Mod motor barely turns that.
Anyway, powershifting helps tremendously. I usually cut about .3-.5 off my 1/4 mile times by powershifting. As for a WS6 Auto's 1/4 times, I'm no expert but bone stock I'd say somewhere in the mid 13's would be accurate.