В данном случае главное, чтоб SATURATION CURRENT был

В данном случае главное, чтоб SATURATION CURRENT был не ниже, чем у оригинальных, иначе перегреется и дроссель, и ключи. Думаю, ампер 30 было у родного.
Найденные Вами вполне подойдут. Да и незачем менять все 3 на однотипные, как мне кажется. Достаточно заменить оторванный.