Well, I would not expect to see them back in service any time yet. They've been inactive for several months (and Funchal for about 2 years). Work will need to be done to ready the ships for service quite apart from finding useful employment for them. If the new owner is going to operate them himself, rather than place them out on charter, itineraries have to be planned, crew recruited and the intended cruises marketed. So, unless there is someone out there anxious to charter one or two of the ships immediately, I would not expect to see them back in service until much later this year. I cannot see that they'd be ready for this coming summer.