I’m just booked for the same ports on a MSC cruise this September out of Miami. I haven’t cruised in 20 years. I’ll be following along to see if anyone has any interesting info on these ports.