万全を期すならメイン機とバックアップ機は別々のメーカーにすべき