Stimmt, das Holiday World gibt es schon wesentlich länger. Ich vermute, dass es 5 Jahre ger ist, dass die jetzige Betreiberfirma den Park gekauft hat, denn vorher gehörte es einem anderen Eigentümer.
Und den Namen hatte er schon bei den Vorbesitzern.