PR in Long Race (or Not?) (Tailgate Trot 5K Race)

Official results

.5 mile warm up
3x50 meters striders
3.17 miles race (21:43 - 6:51/mile, 21:14 5K pace)

total: 3.76375 miles

prerace - 7:12
55°F
Current:Mostly Cloudy
Wind: N at 0 mph
Humidity: 100%

expected at race time
58°F
Current:Mostly Sunny
Wind: N at 2 mph
Humidity: 80%

Did I PR at the Tailgate Trot 5K Race 5K in Downers Grove, IL?

I saw two maps. One, just now, claiming a precise 5K as per the USATF. The other, at race time, also with USATF letterhead, that the race was 3.17 miles. The difference? A PR or not.

Either way, a decent race despite a rough night. Never pushed. Started slow, with a 7:01 mile. No one near me for the last 1200 meters, which would have helped. Second in the 40-44 age category. Nice red ribbon.

Mile 1 - 7:01
Mile 2 - 6:38 (?)
Mile 3 - 6:53 - 7:20 (?)

Met Mike Barret, a 58 year old runner who ran a 20:02, and, more importantly, has read this blog. Good guy. Low mileage, with roughly 20 miles per week. Last year, he took second overall in the Run for the Mind, just as I did this year.

Also met Karl, the guy I met at the St Mary's of Gostyn run. He's running again tomorrow in Plainfield.

Time to nap.