The RNG in this run doesn't get much better. Kingseeker, Uncharging Force, and a bunch of fantastic augs. This seed could probably yield a 13:30-ish time with routing in a non-random seed category.