How many RPM are the Aussie Pro Stocks turning?

I've always been fascinated by high RPM motors< I remember the first time I ever saw the tachometer of a turbo F1 car, the sweep started at 4000RPM !!!


WIZE

World's Quickest Diahatsu Rocky (??) 414" Stroker Small block Mopar Powered. 10.84 @ 123...and gettin' quicker!

https://www.youtube.com/watch?v=-mWzLma3YGI

In Car:

https://www.youtube.com/watch?v=PjXcf95e6v0