Не знаю, как сейчас, а раньше по окончании 9го класса выдавали не аттестат, а свидетельство. У тех, кто шел в 10 класс, это свидетельство изымали в личное дело, и по окончании 11 класса выдавали только аттестат, свидетельство не возвращали.И, как я уже много раз писала, и вы подтвердили еще раз, аттестат назвался именно "с отличием", а никак не красным