I’ve seen that he was “4th place” in a Texas state meet in the 1500m at some point. Anyone out there know what his time was?