With Anycast DNS there's actually more than thirteen servers even if there's only thirteen IPs.

It's going to be almost impossible to flood them all simultaneously. These are machines on multi-gigabit backbone connections, not some crappy back-water FBI or CIA web server.