Dallas does indeed call him Frosty but by no means can we definitely conclude that was his callsign. Frosty is a nickname that is fairly common like Pongo or Pilgrim. For all we know, Dallas could have just decided on his own to call him that. Dallas was certainly quirky enough to randomly give people names. In fact, I do that a lot. (I kept calling Howard Day, Davey from some reason).