Уход на пенсию по горячей сетке

Здравствуйте. У меня общий трудовой стаж 35 лет. Из них 10 лет работал в РЖД (Российские железные дороги) по горячей сетке (Список 2) и 3 года на металлургическом заводе (Список 2). Хотел уйти на пенсию. В пенсионном фонде мне ответили: 1. Горячий стаж в РЖД должен быть только 12,5 лет и более. 2. Горячий стаж на других предприятиях к стажу в РЖД не приплюсовывается. Правы ли они?