Thanks for the input! The Navigator does look pretty spectacular. I think that´s the one we´ll choose.
Two more questions from a newbie:
1. Should we go through a cruise agent, or just book it ourselves online?
2. Should we wait until the absolute last minute to get the best deal? (We´re aiming for a Feb. 8th departure date, so is that already within the ¨last minute¨ deal window?)
Thanks again for your advice!