I was watching the real time download counter for it there they must have a lot of servers and bandwidth.
Takes you to leave it open a while before the numbers move by themselves though.
well above 8.5 million at the minute and the numbers are moving suprisingly fast still.