Der Gipfel hat aktuell gar keinen Namen und hatte anscheinend auch noch nie einen. Der Aussichtspunkt hat den Namen "Kl. Sattel Auslug", wie er auch vor Ort angeschrieben ist, da könnte man höchstens diskutieren, ob man auch die Abkürzung übernehmen muss.