It IS a big deal, and Disney are neither here nor there. Marvel's own legal people have historically been notorious for jumping from a great height in size 15 hobnailed boots onto anyone and anything that they believe is infringing on Marvel's IPs and the Marvel 'Brand' -think worst case scenario where Marvel IPs are concerned and then keep well away if you want a quiet life. Hell, even the word 'marvel' included in a character name has been known to set them off (it's why Alan Moore's version of 'Marvelman' became 'Miracleman' back in the day, shortly after it began its original run in Quality Communications' 'Warrior Magazine'. Ironically the creatives in the Marvel bullpen had just raved about the strip in print, and even before the ink dried the company lawyers had jumped on Quality and its publisher, Dez Skinn, over the character name). Personally I'm tempted to have a quiet word with anyone I see blatantly infringing IP -and then -being chickenshit- immediately realising my 2 cents-worth is almost certain to be taken the wrong way by the player stops me saying anything. But I beam hard thoughts at them telepathically to try and prompt them to spontaneously modify the toon away from such blatant IP infringement.