Если мне не изменяет память, то День города в Саяногорске, действительно осенью, в ноябре. А вот профессиональный праздник металлургов в июле. Так что с недавних пор – это два разных праздника.