Thread:BattleshipMan/@comment-35284063-20180918212921/@comment-35284063-20180918214428

I doubt that's his given name so much as it's Tembo referring to him in a hurry. Example: his given name would be "Dietrich" but he goes by the "Dieter", so that's what his colleagues call him when speaking to or about him.