Disney can use any character in the Florida theme parks that is not already in use in Islands of Adventure. It's likely one of the reasons that they're moving forward with some of the Marvel projects featuring less well-known characters (including Guardians of the Galaxy and the proposed Dr. Strange film). (That, and promoting such movies doesn't inadvertently also promote Universal's theme parks).