I got 4.067 after re-timing, but dlc maps are weird so the mods might time it differently.

Mod note: Time starts at 7.533 and ends at 11.467, at 30 fps. Retimed using https://github.com/Slush0Puppy/retime