We’re going on the Sept 10-14 Halloween on the High Seas Cruise (getting so close!!). My son is absolutely obsessed with Spider-Man, and I know that they have the Avengers Academy and have seen neumorous YouTube videos with Spider-Man on the ship. Does anyone know of the Marvel characters are routinely on the ships or just certain times? I really really hope they are on our cruise, because he’s so excited to see them all. Thanks!