 He just texted and confirmed. He did make it to Pittsburgh, so he is not one of the hundreds of thousands of travelers that are currently stranded because somebody at a company messed up one line of code in a software update. Is that what happened?