My monitors show that they're really being beaten. If anyone here has contacts there, you may want to reach out to them, and get details and see if we can help. It seems clear now that after a year or two of rest, DNS DDoS is back with a vengeance.