Good thing they have redundant systems.