Isto é realmente um fato. A Disney localizava os nomes dos personagens até os anos 80, depois parou com isso (mas não conseguiu evitar manter alguns muito conhecidos, como Pateta).
A Marvel "sofre" com o mesmo problema, pois os fanáticos de quadrinhos conhecem os detalhes e dão piti quando não traduzem.