So ... any bets the cause isn't DNS?
We still doing BGP update typos?
Nope. Looks like they have a DNS-like configuration manager...