Thanks to all for your advice. BTW, we are not booked on Marina, but on the Regatta which is a nice small ship (in comparison to most!).