Yes but, Tom Holland’s Spiderman appeared in both Infinity War (where he got dusted) and Endgame, when he came back and played keep away with the Gauntlet.
So did they have to pay Sony for that?
http://collider.com/spider-man-marvel-sony-deal-explained/#mcu
In short this is the end of a 5 picture deal where Marvel Studios made the movie, it’s fully tied into the MCU, Disney gets the merch, but Sony gets the gate. And now we gotta see if the lawyers will keep a good thing going or kill the goose.
Probably.
That whole thing has been a bit of an odd legal pretzel for awhile.