correct me if i'm wrong as i'm not a stay myself, but i don't think the name yongbok comes from the word haengbok, although that is a clever pun.
the meanings of korean names come from the chinese characters (hanja) used to write them (there are exceptions, but yongbok is not one, as it can be...