Redundancy is handled at a higher layer. They are probably using ceph on top.