I think this is correct, unfortunately.
I say "unfortunately" because the other reason for the nickname that used to do the rounds was that Healy fought in WW2 and by his own accounts bate Hitler himself with no need for any great help. A great story, but not true it seems and your version is the right one.