RE: Did your BGP crash today?