I timed this at a 12:39.7 so I’ll be interested to see if it’s a wr or not. Even if it’s not my sum of best is like 11:20 so I I’ll probably try to improve on this time regardless.