>Die finden mit sehr großer Aarscheinlichkeit bis 18.30 statt, egal wie voll der Park ist. Dies liegt daran, dass noch bis zum 31. August >täglich außer Montags die Asia Nights im asiatischen Themenbereich stattfinden.

Ich war ebenfalls schon mehrfach während der diesjährigen Asia Nights da, die Wartezeiten lagen im selben Rahmen wie bei deinem Besuch und der Park hatte bis 19 Uhr geöffnet.
Grundsätzlich würde ich mich dir anschließen, jedoch sind Öffnungszeiten bis 19 Uhr durchaus nicht unwahrscheinlich.