A primeira opção é o horário de funcionamento das 9h às 17h ( site do Canal ) .
Com segunda opção você teria apenas cinco horas, e embora não seja um aeroporto enorme, lembro que levei cerca de uma hora para passar pelo controle de passaporte depois de sair do avião e obviamente você precisa ir até lá algum tempo antes do retorno vôo, que deixa você com 2-3 horas fora do aeroporto.
O canal fica ao redor de 36 km do aeroporto, portanto, supondo que você tome um táxi em ambas as direções, você terá talvez uma hora no próprio canal, onde você ainda teria que comprar os ingressos para ver qualquer coisa.
Eu acho que não é suficiente a menos que você esteja satisfeito com uma rápida olhada (mas é melhor ficar lá por pelo menos uma ou duas horas para ver os navios passando e travando em operação). E isso seria arriscado. Se você tivesse 7-8 horas, eu acho que seria factível.