Yes, thanks we are going to do this. If we are lucky and there are no delays with debarkation and customs then it should be OK and we can catch our shuttle.
I've asked the same question on cruisecritic dot com - some have had no delays and others have had to wait until midday!!
Anyway lesson...