Congratulations on your cruise John.
You will be able to get to the ship early enough to board before the stated 1:30 embarking time. We usually get there about 11:30 -12:00 and can get checked in and onto the ship. If you wait until 1:30 the lines will be long. Besides, my favorite time of the whole cruise is dropping off the carry on luggage in the room and proceeding immediately to the Lido deck to get a big fat juicy cheeseburger and fries and a cold beer and sitting by the pool listening to the calypso band.
You will debark by 10:00 a.m. It could be as early as 8:00 a.m. too. Getting your luggage and transportation to the airport might be close to an hour.
Have a great cruise.