That sounds all good but in theory as the 1500 and mile records are fairly close to each other on equivalency charts (1500 is a slightly touhger record), but the 1500 record is based on going all out and stopping at 1500. If you're saving something to get to the mile in theory you'll be too slow at 1500. For example when Kejelcha tried to break the mile record earlier this year he was at 3:33 and change at 1500. (The 1500 world record is 3:31.04. If you ran event splits the entire way and split 3:31.04 and keep going for a mile you'd run 3:46.42) The mile record is 3:48.45.
So can he get both records?
UPDATE: We've got our own preview of the race plus a link to the RunnerSpace live stream below.