Okay, that was a surprise. I managed the first mile in 12.39 minutes! It’s been one hell of a long time since I’ve managed a mile that fast.