They would have to pay royalty to Marvel because Marvel owned those characters and not only their movie rights.
Definition: A royalty is a payment made by one party, the licensee or franchisee to another that owns a particular asset, the licensor or franchisor for the right to ongoing use of that asset.
What he said in one of his videos: "Sony Picture does not want to use original characters in any Marvel Studios films. Because if they started using them,[
] then guess who receives loyalty to those characters? Marvel Studios. Which is why they have this mixing match (of characters) which has never really done before."
That would explain why Michelle is the female lead of this franchise. Since Sony 'created' this character, they wouldn't have to pay Marvel royalty.