No, no. Estaba equivocado yo sobre Capitán Marvel. Siempre pensé que tenía los derechos por estar libres en ese momento.
En el libro de Sean Howe sobre Marvel Comics también se tocó el tema. No tengo dicho libro, pero parece ser que M.F. Enterprises demandó a Marvel por infracción de copyright por emplear el nombre de Capitán Marvel en 1967 sin su autorización, ya que M.F. había "recuperado" el nombre de Capitán Marvel en 1965 para un personaje de sus comics, a causa, según ellos, de que Fawcett lo había "abandonado" forzosamente en 1953 al ser demandado por "copiar" a Superman.
Este artículo de The Wall Street Journal de 1967 puede servir como referencia:
Sorry but you are not allowed to view spoiler contents.
Parece ser que Marvel ofreció 6.000 dolares para solucionar el problema ante la reclamación por parte de M.F., y la respuesta de esta última fue rechazarlo y demandar a Marvel, figurando específicamente como acusados las personas de Martin Goodman, Stan Lee y Gene Colan
Sin embargo, curiosamente, M.F. no siguió adelante y acabó pactando ceder dichos derechos sobre el nombre "Captain Marvel" a cambio de esos 4.000 dolares que comentas... Lo dicho, curioso