While it's true that Keegan Smith hasn't run sub-9 in two years, he has pr's of 1:52.60 800m and 4:07.5 (mile) this indoors, which are a lot faster than Marcelo has run, and 2 and 7 seconds faster than Keegan ran as a freshman, so it's likely that the 3200m/2M time should also go down a lot outdoors.