I'm curious to find out any details as these kinds of services are so different than the ones I normally work on. I'm also assuming there's lots of redundancy built in, so how does such a widespread outage occur? Anyone else who works on airlines systems I'm also interested to hear from. Thanks!