Maybe they should just rent Microsoft's update servers for a few hours, they are quite good load-ready 
Stop smashing the F5 button, they may run nginx on a special "DDoS protection service provider", too much is just too much.