I have slightly different advice. I would either eat a late breakfast or eat before. A 12:30 PAT may mean a boarding time of 2 or later. We had a PAT of 11am (and arrived on time) and did not get on the ship until almost 1:30 by the time our boarding group was called and then we did embarkation photos. I was glad we ate before hand because we got on board, went to our stateroom almost immediately, dropped off our bags, then we needed to go to the port adventures desk and guest services to get special meet and greet tickets and also behind the scenes tour tickets. Then we went to the MDR to book a few tastings and mixology classes. By the time we were done, they were shutting everything down for the muster drill. We did not eat til our 2nd seating dinner.