You could use a for loop that increments >9000! times, but does nothing inside. I have no idea how long 9001 will actually take, you will have to experiment with different values.
I think timer is for measuring the amount of time, you could also set the timer to 0 and use a while loop that only exits after a certain time passes on the timer, though you will only get .01 second precision with this.