Good to know because I booked my cruise more last minute and only 12:30 was available. Given we usually get 10:30 and get there at 10:20 I was nervous the parking would be a madhouse by then, so I’ll still aim early and if we get through consider it a bonus I guess!