Was that his personal name, or the name of his work unit?
Probably a real name - if he was making it up it would have "huge" or "big" next to it..........