If I can run 4 miles at a pace of 10:15/mile, exerting moderate effort, what would a good 5k goal pace be? I am guessing about 9:30, but I'm not too sure. Thanks!