Just received our cruise docs for our first Regent cruise. I was surprised that boarding is listed as 3:00 pm since everything I had read previously led me to believe that boarding would be from 12:00 to 1:00. We're boarding in Athens. Does anyone have experience there?