The plan is for my husband to immediately go make reservations for the United States Restaurant when we board the Infinity so we can get one before the place is booked up. I cannot figure out where he goes to make the reservations. (first cruise) Can anyone tell me?