Ok, sorry, didn’t look at the numbers in detail, just triggered on the general message that high-jacking the DNS entries and redirecting the NTP traffic to your servers wouldn’t be a problem for you. But that would then probably only work if it is just your own customers.
Yeah, if the pool doesn’t help bootstrapping out of this capacity crunch, you’re maybe even lucky that you can offer your customers that way out, then.