My work here is done.

This time can easily be improved for a good runner, or for anyone who manages to develop more optimal RNG manipulations.

This record will therefore be beaten, but not by me. I move on. Good luck, Red Racers.