We're also booked on a cruise on the Coral later in June. Found a couple of web sites that said she was in dry dock in Cádiz in Spain in January 2022, so if that's correct it sounds like all will be okay.
I've been checking a ship tracker website and she is currently sailing in tiny circles in the Caribbean - hopefully will start heading this way soon 🙂