re: I know it is now moot, by how is no one talking about the lost 20 seconds?

I know. I am grateful. But, it is a technical question I am curious about. Yes, Miles would have likely messed up anyway, but those 20 seconds could easily have made a difference in the result of the game.