Not to be alarmist...

Some of their servers are working, though we still see tremendous
backlogs..

This is what I heard from Michael Truman:

# begin inclusion