Comment by lynx__

No, there is no official record with and without pacers. And arguably, that's why the Olympics is a bit rarer for middle- and long-distance world records (because you aren't allowed official pacers). You could probably track it down though.