Antwort
Natürlich ist das umgangssprachlicher Murks. Gibts genau so beim HIV-Virus, PIN-Nummer, usw.. wo das letzte Wort eigentlich schon in der Abkürzung drin steckt, aber dennoch wiederholt wird.
Man nennt das eine Tautologie