How can I find out which dock we will be at?
Looking at this website
they don't show the schedule for your cruise yet. But it does seem the Holiday is now doing the "San Miguel Pier" usually - which may not be good news because I think that means you are tendering and not docking. I am not sure about that though.
You may want to check that link again over the next day or two and see if it is updated. It can also be wrong. Last spring on the Holiday it showed us at Puerta Maya and we docked at Punta Langosta.