Didn't have a timer set, but it turns out this run did have a really good pace to it. Retimed to a 3:45 or possibly a high 3:44; the former seems fine enough to submit.