Another example: What used to be called the Stanford Linear Accelerator is now officially just "SLAC" (as the university holds trademark for "Stanford" and didn't want to share with the US Department of Energy)
In the old days we used to call community colleges "Junior Colleges." The first time I came out to the valley I noticed a university there called "Leland Stanford Junior University" and assumed it must be a Junior College associated with Stanford University.
So yes, they need all the help they can get with naming things.
I once worked for Digital Switch Corporation, which was well known as DSC. Sometime in the 80s or early 90s they changed their name to DSC Communication Corporation, or DSCCC. If you expanded it all out, you got "Digital Switch Corporation Communication Corporation," the corporation so corporate, they named it twice.
I'm reminded how anyone with industrial capacity during war2 was pressed into service making weapons. If you look hard enough, you can find M1 Carbines with IBM and NPR (National Post Register) head-stamps.
They made quite a few of them; the interwebs say something like 365K. I know a guy with 2 IBM manufactured M1s. Even cooler, the Rock-Ola juke box company made M1s.