It’s all going to be a wash for Sony anyway. Their Spider-man will be fine but not great, it’ll make about half of what a third Marvel/Sony film would have made. Marvel doesn’t need Spidey. The only people who loose out are the fans, which is usually Sony’s MO anyway.