Sum of best times now at 13:01, and I know I don't have the fastest kill on the final bosses in any of my full runs, so sub-13 is quite possible.