There is an IRC server (several servers, actually) + channel that a variety of network operators are on that has existed since the very early 2000s for these so

There is an IRC server (several servers, actually) + channel that a variety of network operators are on that has existed since the very early 2000s for these sorts of events. 414 users on it now, most peoples nicknames include their ASN to make it easier to find each other. Unfortunately, Verizon is one of those networks that isn't present there. But many other networks are represented there and it provides a direct path to those who have config/enable access on some of the largest networks out there. Cuts out the having to go via formal escalation paths and NOC groups that require a trouble ticket before you can engage them.