PUGILISTS: This boxer liked his nickname "Marvelous Marvin" so much that he had his name legally changed