On vacation, but decided randomly to throw a run in. Happened to be during the same rotation as the 5k. My GPS/timer crapped out during the run, but I did 1.48 miles to a buddy's condo in 12:24 and ran back an hour later at a little bit quicker pace.