Why ISO6400 and 1/800 sec? Why not shooting in the evening with the same ISO but at 1/40 sec? That would be a real world sample, or?
If you can't answer that question all by yourself... i'll try to do it :) 'coz the way they did it the sesult will not exhibit too much noise!
Because that wouldn't make any difference :-)