Authors: no one regularly calls a thing by its full name in informal conversation. In the real world, a television is a TV. People talk about “Smith”, not “President John Smith”. If the star Betelgeuse were a part of everyday chat, it’d be called Juice. All this is 10x true if the military’s involved. No one loves funny nicknames more than the rank and file. Some smartass would call it “Orenthal” one time, and from then it’d be compressed to “Orntall”.